aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/docs/src/develop/javadoc.md
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/docs/src/develop/javadoc.md')
-rw-r--r--subprojects/docs/src/develop/javadoc.md40
1 files changed, 0 insertions, 40 deletions
diff --git a/subprojects/docs/src/develop/javadoc.md b/subprojects/docs/src/develop/javadoc.md
deleted file mode 100644
index e94e3eab..00000000
--- a/subprojects/docs/src/develop/javadoc.md
+++ /dev/null
@@ -1,40 +0,0 @@
1---
2SPDX-FileCopyrightText: 2024 The Refinery Authors
3SPDX-License-Identifier: EPL-2.0
4description: API documentation for Refinery components automatically generated by Javadoc
5sidebar_position: 999
6---
7
8# Javadoc
9
10Here 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.
11
12# Refinery
13
14* [`tools.refinery:refinery-generator`](pathname://refinery-generator)
15* [`tools.refinery:refinery-language`](pathname://refinery-language)
16* [`tools.refinery:refinery-language-ide`](pathname://refinery-language-ide)
17* [`tools.refinery:refinery-language-model`](pathname://refinery-language-model)
18* [`tools.refinery:refinery-language-semantics`](pathname://refinery-language-semantics)
19* [`tools.refinery:refinery-logic`](pathname://refinery-logic)
20* [`tools.refinery:refinery-store`](pathname://refinery-store)
21* [`tools.refinery:refinery-store-dse`](pathname://refinery-store-dse)
22* [`tools.refinery:refinery-store-dse-visualization`](pathname://refinery-store-dse-visualization)
23* [`tools.refinery:refinery-store-query`](pathname://refinery-store-query)
24* [`tools.refinery:refinery-store-query-interpreter`](pathname://refinery-store-query-interpreter)
25* [`tools.refinery:refinery-store-reasoning`](pathname://refinery-store-reasoning)
26* [`tools.refinery:refinery-store-reasoning-scope`](pathname://refinery-store-reasoning-scope)
27* [`tools.refinery:refinery-store-reasoning-smt`](pathname://refinery-store-reasoning-smt)
28
29# Interpreter
30
31:::note
32
33The _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.
34
35:::
36
37* [`tools.refinery.interpreter:refinery-interpreter`](pathname://refinery-interpreter)
38* [`tools.refinery.interpreter:refinery-interpreter-localsearch`](pathname://refinery-interpreter-localsearch)
39* [`tools.refinery.interpreter:refinery-interpreter-rete`](pathname://refinery-interpreter-rete)
40* [`tools.refinery.interpreter:refinery-interpreter-rete-recipes`](pathname://refinery-interpreter-rete-recipes)