|ActionDescriptionConsistencyTester<T extends CausalLaw>||
Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.
A basic interface representing an action name.
This is a basic interface for action queries.
Classes implementing this interface are capable of checking whether a transition system satisfies an action query.
A basic interface representing a causal law.
A basic interface representing a fluent name.
|ActionDescription<T extends CausalLaw>||
This class represents an action description as a set of causal laws.
|ActionQuerySet<T extends ActionQuery>||
An Action Query Set consists of action queries in a specific query language and provides some common functionalities for such queries.