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