|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GeneralizedAtom | |
---|---|
edu.cs.ai.kreator.logic | |
edu.cs.ai.kreator.logic.prolog | |
edu.cs.ai.kreator.models | |
edu.cs.ai.kreator.parser.groundatom |
Uses of GeneralizedAtom in edu.cs.ai.kreator.logic |
---|
Methods in edu.cs.ai.kreator.logic that return GeneralizedAtom | |
---|---|
GeneralizedAtom |
StrictNegation.getAtom()
|
abstract GeneralizedAtom |
Literal.getAtom()
Returns the atom of this literal. |
GeneralizedAtom |
GeneralizedAtom.getAtom()
|
GeneralizedAtom |
AtomExpression.getAtom()
|
GeneralizedAtom |
FolAtom.getWrappedGeneralizedAtom()
|
GeneralizedAtom |
LogicTranslator.toKreatorAtom(A atom,
LanguageFactory language)
Creates a GeneralizedAtom from the given foreign logic atom |
GeneralizedAtom |
TweetyTranslator.toKreatorAtom(net.sf.tweety.logics.firstorderlogic.syntax.Atom atom,
LanguageFactory language)
|
Methods in edu.cs.ai.kreator.logic that return types with arguments of type GeneralizedAtom | |
---|---|
java.util.Set<GeneralizedAtom> |
Clause.getAllAtoms()
Returns a set of all (generalized) atoms of this clause (occurring in head and body) |
java.util.Set<GeneralizedAtom> |
GeneralizedPredicate.getInstantiations(java.util.Collection<? extends Term> terms)
Computes all atoms of this predicate with the given terms. |
Methods in edu.cs.ai.kreator.logic with parameters of type GeneralizedAtom | |
---|---|
static boolean |
AtomExpression.containsWithValue(GeneralizedAtom a,
java.util.Collection<? extends AtomExpression> data)
Checks whether the given atom is contained with some value in the given set of atom expressions |
net.sf.tweety.logics.firstorderlogic.syntax.Atom |
TweetyTranslator.fromKreatorAtom(GeneralizedAtom atom,
net.sf.tweety.logics.firstorderlogic.syntax.FolSignature language)
|
A |
LogicTranslator.fromKreatorAtom(GeneralizedAtom atom,
L language)
Creates a foreign atom from the given KReator Atom. |
void |
AtomExpression.setAtom(GeneralizedAtom atom)
|
Constructors in edu.cs.ai.kreator.logic with parameters of type GeneralizedAtom | |
---|---|
AtomExpression(GeneralizedAtom atom)
Constructs a boolean atom expression "atom=true" |
|
AtomExpression(GeneralizedAtom atom,
java.lang.String value)
Construct an atom expression "atom=value" |
|
FolAtom(GeneralizedAtom generalizedAtom)
|
|
StrictNegation(GeneralizedAtom atom)
Constructs a negation with the given atom. |
Uses of GeneralizedAtom in edu.cs.ai.kreator.logic.prolog |
---|
Methods in edu.cs.ai.kreator.logic.prolog that return GeneralizedAtom | |
---|---|
GeneralizedAtom |
VariableSldNode.getAtom()
|
Methods in edu.cs.ai.kreator.logic.prolog with parameters of type GeneralizedAtom | |
---|---|
boolean |
NodeCollection.containsAtom(GeneralizedAtom atom)
Determines whether there is a variable node in this collection with the given atom. |
java.util.Set<Clause> |
PrologProgram.getClauses(GeneralizedAtom atom)
Returns the set of (instantiated) clauses where the head unifies with given bayesian atom. |
java.util.Set<Clause> |
PrologProgram.getClauses(GeneralizedAtom atom,
java.util.Map<Sort,java.util.Set<Constant>> constants)
Returns the set of (instantiated) clauses where the head unifies with given bayesian atom. |
VariableSldNode |
NodeCollection.getNode(GeneralizedAtom atom)
Determines whether there is a variable node in this collection with the given atom and if that is the case, returns the node. |
java.lang.String |
PrologProgram.isEntailed(GeneralizedAtom atom)
Checks whether the given atom is entailed by this prolog program. |
java.lang.String |
PrologProgram.isEntailed(GeneralizedAtom atom,
java.util.List<AtomExpression> evidences)
Checks whether the given atom is entailed by this prolog program. |
Constructors in edu.cs.ai.kreator.logic.prolog with parameters of type GeneralizedAtom | |
---|---|
VariableSldNode(GeneralizedAtom atom,
java.util.List<AtomExpression> evidences)
Constructs a new node with the given bayesian atom. |
Uses of GeneralizedAtom in edu.cs.ai.kreator.models |
---|
Methods in edu.cs.ai.kreator.models that return types with arguments of type GeneralizedAtom | |
---|---|
java.util.List<GeneralizedAtom> |
Query.getQuestionAtoms()
Returns a list of the atoms appearing in the "query"-part of this query. |
Methods in edu.cs.ai.kreator.models with parameters of type GeneralizedAtom | |
---|---|
java.lang.String |
Query.getEvidenceValue(GeneralizedAtom atom)
Determines whether the given generalized atom is used in an evidence atom expression and if so returns the value. |
Uses of GeneralizedAtom in edu.cs.ai.kreator.parser.groundatom |
---|
Methods in edu.cs.ai.kreator.parser.groundatom that return GeneralizedAtom | |
---|---|
GeneralizedAtom |
GroundAtomWalker.atom()
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |