Uses of Package
net.sf.tweety.action.description.syntax

Packages that use net.sf.tweety.action.description.syntax

Package	Description
net.sf.tweety.action.description.analysis
net.sf.tweety.action.description.parser
net.sf.tweety.action.description.reasoner
net.sf.tweety.action.description.syntax

Classes in net.sf.tweety.action.description.syntax used by net.sf.tweety.action.description.analysis

Class	Description
ActionDescription	This class represents an action description as a set of causal laws.
CActionDescription	This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.
CausalLaw	A basic interface representing a causal law.
CLaw	The action description language C consists of two distinct expressions: static laws and dynamic laws.

Classes in net.sf.tweety.action.description.syntax used by net.sf.tweety.action.description.parser

Class	Description
CActionDescription	This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.

Classes in net.sf.tweety.action.description.syntax used by net.sf.tweety.action.description.reasoner

Class	Description
CActionDescription	This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.

Classes in net.sf.tweety.action.description.syntax used by net.sf.tweety.action.description.syntax

Class	Description
ActionDescription	This class represents an action description as a set of causal laws.
CActionDescription	This class represents an action description for the action language C as a set of causal rules, and provides some basic functionality such as grounding.
CausalLaw	A basic interface representing a causal law.
CLaw	The action description language C consists of two distinct expressions: static laws and dynamic laws.
DynamicLaw	A dynamic law in C has the form caused F if G after U where F is a propositional formula over the set of fluent names (called headFormula) G is a propositional formula over the set of fluent names (called ifFormula) U is a propositional formula over the set of fluent names and the set of action names (called afterFormula)
StaticLaw	This class represents a static rule in C, which has the following form: caused H if G where H is a propositional formula over the set of fluents and G is a propositional formula over the set of fluents and the set of actions