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.
|