Uses of Class
org.tweetyproject.action.signature.ActionSignature

Packages that use ActionSignature

Package	Description
org.tweetyproject.action.description.parser
org.tweetyproject.action.description.reasoner
org.tweetyproject.action.description.syntax
org.tweetyproject.action.query.parser
org.tweetyproject.action.query.syntax
org.tweetyproject.action.signature.parser
org.tweetyproject.action.transitionsystem

Uses of ActionSignature in org.tweetyproject.action.description.parser

Methods in org.tweetyproject.action.description.parser that return ActionSignature

Modifier and Type	Method	Description
ActionSignature	CParser.getSignature()	Returns the signature of the action.

Methods in org.tweetyproject.action.description.parser with parameters of type ActionSignature

Modifier and Type	Method	Description
void	CParser.setSignature(ActionSignature signature)	Sets the action signature for this parser.

Constructors in org.tweetyproject.action.description.parser with parameters of type ActionSignature

Modifier	Constructor	Description
	CLawParser(ActionSignature signature)	This parser needs a valid action signature to parse causal laws.

Uses of ActionSignature in org.tweetyproject.action.description.reasoner

Methods in org.tweetyproject.action.description.reasoner with parameters of type ActionSignature

Modifier and Type	Method	Description
Set<State>	CTransitionSystemCalculator.calculateStates(CActionDescription actionDescription, ActionSignature signature)	Calculates the set of all states of the transition system described by an action description.
TransitionSystem	CTransitionSystemCalculator.calculateTransitionSystem(CActionDescription actionDescription, ActionSignature signature)	Calculates a transition system as described by the given action description using all symbols in the given action signature.
String	CTransitionSystemCalculator.convertToLogicProgram(CActionDescription d, ActionSignature signature, int T)	Calculates an extended logic program lp_T(D) for a given action description D and a parameter T, which corresponds to the length of histories in the transition system described by D.

Uses of ActionSignature in org.tweetyproject.action.description.syntax

Subclasses with type arguments of type ActionSignature in org.tweetyproject.action.description.syntax

Modifier and Type	Class	Description
class	ActionDescription<T extends CausalLaw>	This class represents an action description as a set of causal laws.

Uses of ActionSignature in org.tweetyproject.action.query.parser

Constructors in org.tweetyproject.action.query.parser with parameters of type ActionSignature

Modifier	Constructor	Description
	ActionQueryParser(ActionSignature signature)	Constructs a new `ActionQueryParser` with the specified action signature.

Uses of ActionSignature in org.tweetyproject.action.query.syntax

Subclasses with type arguments of type ActionSignature in org.tweetyproject.action.query.syntax

Modifier and Type	Class	Description
class	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.

Methods in org.tweetyproject.action.query.syntax that return ActionSignature

Modifier and Type	Method	Description
ActionSignature	NecessarilyQuery.getActionSignature()
ActionSignature	QueryProposition.getActionSignature()	Returns a new action signature containing all symbols of the inner formula of this proposition.
ActionSignature	SActionQuery.getActionSignature()	Retrieves the action signature of this action query.

Uses of ActionSignature in org.tweetyproject.action.signature.parser

Methods in org.tweetyproject.action.signature.parser that return ActionSignature

Modifier and Type	Method	Description
ActionSignature	ActionSignatureParser.parseSignature(Reader reader)	Parses the given reader into a signature of the given type.
ActionSignature	ActionSignatureParser.parseSignature(String text)	Parses the given text into a signature of the given type.
ActionSignature	ActionSignatureParser.parseSignatureFromFile(String filename)	Parses the file of the given filename into a signature.

Uses of ActionSignature in org.tweetyproject.action.transitionsystem

Methods in org.tweetyproject.action.transitionsystem that return ActionSignature

Modifier and Type	Method	Description
ActionSignature	TransitionSystem.getSignature()	Returns the action signature of this transition system.

Constructors in org.tweetyproject.action.transitionsystem with parameters of type ActionSignature

Modifier	Constructor	Description
	TransitionSystem(Set<State> states, Set<Transition> transitions, ActionSignature signature)	Creates a new transition system.
	TransitionSystem(Set<State> states, ActionSignature signature)	Creates a new transition system.
	TransitionSystem(ActionSignature signature)	Creates a new empty transition system with the given ActionSignature.