---
SPDX-FileCopyrightText: 2024 The Refinery Authors
SPDX-License-Identifier: EPL-2.0
description: API documentation for Refinery components automatically generated by Javadoc
sidebar_position: 999
---

# Javadoc

Here you can find API documentation for Refinery components automatically generated by Javadoc. We recommend reading the [Programming guide](/develop) first to understand how to use these components.

# Refinery

* [`tools.refinery:refinery-generator`](pathname://refinery-generator)
* [`tools.refinery:refinery-generator-cli`](pathname://refinery-generator-cli)
* [`tools.refinery:refinery-language`](pathname://refinery-language)
* [`tools.refinery:refinery-language-ide`](pathname://refinery-language-ide)
* [`tools.refinery:refinery-language-model`](pathname://refinery-language-model)
* [`tools.refinery:refinery-language-semantics`](pathname://refinery-language-semantics)
* [`tools.refinery:refinery-language-web`](pathname://refinery-language-web)
* [`tools.refinery:refinery-logic`](pathname://refinery-logic)
* [`tools.refinery:refinery-store`](pathname://refinery-store)
* [`tools.refinery:refinery-store-dse`](pathname://refinery-store-dse)
* [`tools.refinery:refinery-store-dse-visualization`](pathname://refinery-store-dse-visualization)
* [`tools.refinery:refinery-store-query`](pathname://refinery-store-query)
* [`tools.refinery:refinery-store-query-interpreter`](pathname://refinery-store-query-interpreter)
* [`tools.refinery:refinery-store-reasoning`](pathname://refinery-store-reasoning)
* [`tools.refinery:refinery-store-reasoning-scope`](pathname://refinery-store-reasoning-scope)
* [`tools.refinery:refinery-store-reasoning-smt`](pathname://refinery-store-reasoning-smt)

# Interpreter

:::note

The _Refinery Interpreter_ is modified version of [VIATRA™](https://eclipse.dev/viatra/) specifically for use in Refinery. If you're interested in learning about [VIATRA™](https://eclipse.dev/viatra/), we recommend the [VIATRA™ documentation](https://eclipse.dev/viatra/documentation/index.html) and [source code](https://github.com/eclipse-viatra/org.eclipse.viatra) instead. Eclipse®, VIATRA™ and ‘Eclipse VIATRA™’ are trademarks of Eclipse Foundation, Inc.

:::

* [`tools.refinery.interpreter:refinery-interpreter`](pathname://refinery-interpreter)
* [`tools.refinery.interpreter:refinery-interpreter-localsearch`](pathname://refinery-interpreter-localsearch)
* [`tools.refinery.interpreter:refinery-interpreter-rete`](pathname://refinery-interpreter-rete)
* [`tools.refinery.interpreter:refinery-interpreter-rete-recipes`](pathname://refinery-interpreter-rete-recipes)