Uses of Class
net.sf.tweety.action.signature.ActionSignature

Packages that use ActionSignature

Package	Description
net.sf.tweety.action.description.parser
net.sf.tweety.action.description.reasoner
net.sf.tweety.action.description.syntax
net.sf.tweety.action.query.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.action.signature.parser
net.sf.tweety.action.transitionsystem

Uses of ActionSignature in net.sf.tweety.action.description.parser

Fields in net.sf.tweety.action.description.parser declared as ActionSignature

Modifier and Type	Field	Description
protected ActionSignature	CLawParser.signature
protected ActionSignature	CParser.signature

Methods in net.sf.tweety.action.description.parser that return ActionSignature

Modifier and Type	Method	Description
ActionSignature	CParser.getSignature()

Methods in net.sf.tweety.action.description.parser with parameters of type ActionSignature

Modifier and Type	Method	Description
void	CParser.setSignature(ActionSignature signature)

Constructors in net.sf.tweety.action.description.parser with parameters of type ActionSignature

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

Uses of ActionSignature in net.sf.tweety.action.description.reasoner

Methods in net.sf.tweety.action.description.reasoner with parameters of type ActionSignature

Modifier and Type	Method	Description
java.util.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.
java.lang.String	CTransitionSystemCalculator.getLpT(CActionDescription d, ActionSignature signature, int T)	Calculates an extended logic programm 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.
private java.util.Set<java.util.Map<java.lang.Integer,java.util.Set<FolAtom>>>	CTransitionSystemCalculator.parseLpT(java.lang.String[] lines, ActionSignature signature)	Parses the resulting answer sets of an lp_T(D) program as a set.
private java.util.Map<java.lang.Integer,java.util.Set<FolAtom>>	CTransitionSystemCalculator.parseLpTSingleLine(java.lang.String s, ActionSignature signature)	Utility function parsing a single answer set to a map from timestamp to the set of atoms with that particular timestamp.

Uses of ActionSignature in net.sf.tweety.action.description.syntax

Methods in net.sf.tweety.action.description.syntax that return ActionSignature

Modifier and Type	Method	Description
protected ActionSignature	ActionDescription.instantiateSignature()

Uses of ActionSignature in net.sf.tweety.action.query.parser

Fields in net.sf.tweety.action.query.parser declared as ActionSignature

Modifier and Type	Field	Description
private ActionSignature	ActionQueryParser.signature

Constructors in net.sf.tweety.action.query.parser with parameters of type ActionSignature

Constructor	Description
ActionQueryParser(ActionSignature signature)

Uses of ActionSignature in net.sf.tweety.action.query.syntax

Methods in net.sf.tweety.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()	Returns the action signature of this action query.
protected ActionSignature	ActionQuerySet.instantiateSignature()

Uses of ActionSignature in net.sf.tweety.action.signature.parser

Fields in net.sf.tweety.action.signature.parser declared as ActionSignature

Modifier and Type	Field	Description
private ActionSignature	ActionSignatureParser.signature	Resulting signature.

Methods in net.sf.tweety.action.signature.parser that return ActionSignature

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

Uses of ActionSignature in net.sf.tweety.action.transitionsystem

Fields in net.sf.tweety.action.transitionsystem declared as ActionSignature

Modifier and Type	Field	Description
private ActionSignature	TransitionSystem.signature

Methods in net.sf.tweety.action.transitionsystem that return ActionSignature

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

Constructors in net.sf.tweety.action.transitionsystem with parameters of type ActionSignature

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