Modifier and Type | Field and Description |
---|---|
protected ActionSignature |
CParser.signature |
protected ActionSignature |
CLawParser.signature |
Modifier and Type | Method and Description |
---|---|
ActionSignature |
CParser.getSignature() |
Modifier and Type | Method and Description |
---|---|
void |
CParser.setSignature(ActionSignature signature) |
Constructor and Description |
---|
CLawParser(ActionSignature signature)
This parser needs a valid action signature to parse causal laws.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Field and Description |
---|---|
private ActionSignature |
ActionQueryParser.signature |
Constructor and Description |
---|
ActionQueryParser(ActionSignature signature) |
Modifier and Type | Method and Description |
---|---|
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.
|
ActionSignature |
NecessarilyQuery.getActionSignature() |
Modifier and Type | Field and Description |
---|---|
private ActionSignature |
ActionSignatureParser.signature
Resulting signature.
|
Modifier and Type | Method and 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.
|
Modifier and Type | Field and Description |
---|---|
private ActionSignature |
TransitionSystem.signature |
Modifier and Type | Method and Description |
---|---|
ActionSignature |
TransitionSystem.getSignature()
Returns the action signature of this transition system.
|
Constructor and Description |
---|
TransitionSystem(ActionSignature signature)
Creates a new empty transition system with the given ActionSignature.
|
TransitionSystem(java.util.Set<State> states,
ActionSignature signature)
Creates a new transition system.
|
TransitionSystem(java.util.Set<State> states,
java.util.Set<Transition> transitions,
ActionSignature signature)
Creates a new transition system.
|