Uses of Package
org.tweetyproject.action.description.syntax

Packages that use org.tweetyproject.action.description.syntax

Package	Description
org.tweetyproject.action.description.analysis
org.tweetyproject.action.description.parser
org.tweetyproject.action.description.reasoner
org.tweetyproject.action.description.syntax

Classes in org.tweetyproject.action.description.syntax used by org.tweetyproject.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 org.tweetyproject.action.description.syntax used by org.tweetyproject.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 org.tweetyproject.action.description.syntax used by org.tweetyproject.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 org.tweetyproject.action.description.syntax used by org.tweetyproject.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