Package net.sf.tweety.action

Interface Summary

Interface	Description
ActionDescriptionConsistencyTester<T extends CausalLaw>	Classes implementing this interface are capable of checking whether a given action description is consistent according to some consistency measurements.
ActionName	A basic interface representing an action name.
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.
CausalLaw	A basic interface representing a causal law.
FluentName	A basic interface representing a fluent name.

Class Summary

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