Package-level declarations
Types
Link copied to clipboard
The Executor to evaluate Coko (codyze.kts) specification files.
Link copied to clipboard
class ConceptTranslator
Link copied to clipboard
class SpecEvaluator
Evaluates the rules. It first collects all scripts and divides it in the models and implementations. Then, it generates inputs for the rules and calls the rules with the found implementations.