blob: 225e9de096921dbe470c6eb6b910a39a3f5025b0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
---
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)
|
