Javadoc
Here you can find API documentation for Refinery components automatically generated by Javadoc. We recommend reading the Programming guide first to understand how to use these components.
Refinery
tools.refinery:refinery-generator:0.1.3tools.refinery:refinery-gradle-plugins:0.1.3tools.refinery:refinery-language:0.1.3tools.refinery:refinery-language-ide:0.1.3tools.refinery:refinery-language-model:0.1.3tools.refinery:refinery-language-semantics:0.1.3tools.refinery:refinery-logic:0.1.3tools.refinery:refinery-store:0.1.3tools.refinery:refinery-store-dse:0.1.3tools.refinery:refinery-store-dse-visualization:0.1.3tools.refinery:refinery-store-query:0.1.3tools.refinery:refinery-store-query-interpreter:0.1.3tools.refinery:refinery-store-reasoning:0.1.3tools.refinery:refinery-store-reasoning-scope:0.1.3tools.refinery:refinery-store-reasoning-smt:0.1.3
Interpreter
note
The Refinery Interpreter is modified version of VIATRA™ specifically for use in Refinery. If you’re interested in learning about VIATRA™, we recommend the VIATRA™ documentation and source code instead. Eclipse®, VIATRA™ and ‘Eclipse VIATRA™’ are trademarks of Eclipse Foundation, Inc.