Modifier and Type | Method and Description |
---|---|
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 | Method and Description |
---|---|
private java.lang.String |
CTransitionSystemCalculator.getCompletenessEnforcementRules(java.util.Set<FOLAtom> atoms,
int t)
Returns rules, that enforce the existence of each atom in the given set in
all answer sets of an extended logic program.
|
private java.lang.String |
CTransitionSystemCalculator.getDefaultNegationRules(java.util.Set<FOLAtom> atoms,
int t)
Returns rules of an extended logic program for the given set of atoms and a
parameter t.
|
Modifier and Type | Method and Description |
---|---|
abstract java.util.Set<FOLAtom> |
CLaw.getAtoms()
Returns the set of propositions in all formulas in this law.
|
java.util.Set<FOLAtom> |
StaticLaw.getAtoms() |
java.util.Set<FOLAtom> |
DynamicLaw.getAtoms() |
Modifier and Type | Method and Description |
---|---|
private FOLAtom |
ActionQueryParser.parseActionName(java.lang.String s) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
SActionQuery.getInnerAtoms()
Returns all inner atoms, which occur in state formulas and actions in
this action query.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<FOLAtom> |
FolAction.actionNames |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
ActionSignature.getAllGroundedActionNameAtoms()
Returns the set of all possible grounded atoms in this signature on the
basis of all action name predicates contained.
|
java.util.Set<FOLAtom> |
ActionSignature.getAllGroundedFluentAtoms()
Returns the set of all possible grounded atoms in this signature on the
basis of all fluent predicates contained.
|
java.util.Set<FOLAtom> |
FolAction.getAtoms()
Returns all atoms, e.g.
|
java.util.Iterator<FOLAtom> |
FolAction.iterator() |
Constructor and Description |
---|
FolAction(java.util.Set<FOLAtom> actionNames)
Creates a new action, which maps the given action names to true, and every
thing else to false.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Set<FOLAtom> |
State.fluents |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
State.getPositiveFluents()
Returns the set of fluent atoms that are mapped to true by this state.
|
Modifier and Type | Method and Description |
---|---|
boolean |
TransitionSystem.getValue(FOLAtom fluent,
State state)
Returns the value of a fluent in a state in this transition system.
|
boolean |
State.isMappedToTrue(FOLAtom fluent)
Returns true iff the fluent given is mapped to true by this state.
|
Modifier and Type | Method and Description |
---|---|
State |
TransitionSystem.addState(java.util.Set<FOLAtom> fluents)
Creates a new state and adds it to this transition system.
|
State |
TransitionSystem.getState(java.util.Set<FOLAtom> fluents)
Returns the state that maps the given fluents to true, if it exists,
otherwise null.
|
Constructor and Description |
---|
State(java.util.Set<FOLAtom> fluents)
Creates a new State with a set of fluents that are mapped to true.
|
Modifier and Type | Method and Description |
---|---|
FOLAtom |
DelpParser.Atom(DefeasibleLogicProgram delp,
FolSignature signature) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
DelpRule.getAtoms() |
Modifier and Type | Field and Description |
---|---|
private java.util.Set<FOLAtom> |
HerbrandBase.atoms
The atoms of this Herbrand base.
|
Modifier and Type | Method and Description |
---|---|
private java.util.Set<FOLAtom> |
HerbrandBase.getAllInstantiations(FolSignature sig,
Predicate p,
java.util.List<Term<?>> arguments)
Computes all instantiations of the predicate "p" relative to the signature "sig"
where "arguments" defines the first arguments of the atoms.
|
java.util.Set<FOLAtom> |
HerbrandBase.getAtoms()
Returns all atoms of this Herbrand base.
|
Constructor and Description |
---|
HerbrandInterpretation(java.util.Collection<? extends FOLAtom> atoms)
Creates a new Herbrand interpretation with the given
set of atoms
|
Modifier and Type | Method and Description |
---|---|
FOLAtom |
FOLAtom.clone() |
FOLAtom |
FOLAtom.substitute(Term<?> v,
Term<?> t) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
SpecialFormula.getAtoms() |
java.util.Set<FOLAtom> |
AssociativeFOLFormula.getAtoms() |
java.util.Set<FOLAtom> |
ForallQuantifiedFormula.getAtoms() |
java.util.Set<FOLAtom> |
ExistsQuantifiedFormula.getAtoms() |
java.util.Set<FOLAtom> |
FOLAtom.getAtoms() |
java.util.Set<FOLAtom> |
Negation.getAtoms() |
Constructor and Description |
---|
FOLAtom(FOLAtom other) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
ModalHerbrandBase.getAtoms()
Returns all atoms of this Herbrand base.
|
Constructor and Description |
---|
ModalHerbrandInterpretation(java.util.Collection<? extends FOLAtom> atoms)
Creates a new Herbrand interpretation with the given
set of atoms
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
ModalFormula.getAtoms() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
MlnFormula.getAtoms() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
RelationalConditional.getAtoms() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
DefaultRule.getAtoms() |
Modifier and Type | Method and Description |
---|---|
static FOLAtom |
RpclProbabilityDistributionParser.GroundAtom(FolSignature signature) |
Modifier and Type | Method and Description |
---|---|
FOLAtom |
AspFolTranslator.toFOL(DLPAtom source) |
Modifier and Type | Method and Description |
---|---|
DLPAtom |
AspFolTranslator.toASP(FOLAtom source) |
Modifier and Type | Method and Description |
---|---|
FOLAtom |
FOLPropTranslator.toFOL(Proposition proposition)
Translates the given proposition into a FOL-Atom
|
Modifier and Type | Method and Description |
---|---|
Proposition |
FOLPropTranslator.toPropositional(FOLAtom atom)
Translates the given FOL-Atom into a Proposition
|
Constructor and Description |
---|
DLPAtom(FOLAtom other)
Copy-Ctor: Generates a deep copy of the given FOL atom
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<FOLAtom> |
NLPRule.getAtoms() |
java.util.Set<FOLAtom> |
NLPNot.getAtoms() |