Package org.tweetyproject.action.description.syntax

package org.tweetyproject.action.description.syntax

Class	Description
ActionDescription<T extends CausalLaw>	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