Modifier and Type | Class and Description |
---|---|
class |
AlwaysQuery
This class represents an always query in the action query language S.
|
class |
HoldsQuery
This class represents a holds query in the action query language S.
|
class |
NecessarilyQuery
This class represents a necessarily query in the action query language S.
|
class |
QueryProposition
Action queries are represented as propositional formulas with three possible
types of propositions: holds, always and necessarily propositions.
|
Modifier and Type | Class and Description |
---|---|
class |
LdoArgument
This class represents an argument in ldo.
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<? extends Atom> |
AssociativeFormulaSupport.getAtoms() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<? extends Atom> |
SimpleLogicalFormula.getAtoms()
Processes the set of all atoms which appear in this formula
|
Modifier and Type | Class and Description |
---|---|
class |
FOLAtom
An atom in first-order logic, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
Proposition
This class represents a simple proposition in propositional logic.
|
Modifier and Type | Method and Description |
---|---|
Atom |
Translator.translateAtom(Atom source,
java.lang.Class<?> atomCls)
Translates the given source atom into an instance of atomCls and returns the
translation.
|
Modifier and Type | Method and Description |
---|---|
Atom |
Translator.translateAtom(Atom source,
java.lang.Class<?> atomCls)
Translates the given source atom into an instance of atomCls and returns the
translation.
|
Modifier and Type | Interface and Description |
---|---|
interface |
DLPLiteral
This interface defines common functionality for an ELP literal.
|
Modifier and Type | Class and Description |
---|---|
class |
DLPAtom
this class models an atom, which is a basic structure for
building literals and rules for logic programs
|
class |
DLPNeg
This class models strict negation for atoms.
|