Uses of Class
edu.cs.ai.kreator.logic.GeneralizedAtom

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()