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

Packages that use AtomExpression
edu.cs.ai.kreator.datamodels   
edu.cs.ai.kreator.logic   
edu.cs.ai.kreator.logic.prolog   
edu.cs.ai.kreator.models   
edu.cs.ai.kreator.parser.groundatom   
edu.cs.ai.kreator.ui.gui.components   
edu.cs.ai.kreator.ui.gui.components.controller   
 

Uses of AtomExpression in edu.cs.ai.kreator.datamodels
 

Methods in edu.cs.ai.kreator.datamodels that return types with arguments of type AtomExpression
 java.util.List<AtomExpression> SampleCollection.getAtomExpressions()
           
 

Uses of AtomExpression in edu.cs.ai.kreator.logic
 

Methods in edu.cs.ai.kreator.logic that return AtomExpression
 AtomExpression TweetyTranslator.toKreatorAtomExpression(net.sf.tweety.logics.firstorderlogic.syntax.Atom a, boolean truthvalue, LanguageFactory language)
           
 AtomExpression TweetyTranslator.toKreatorAtomExpresssion(net.sf.tweety.logics.firstorderlogic.syntax.Atom a, java.lang.String truthvalue, LanguageFactory language)
           
 

Methods in edu.cs.ai.kreator.logic with parameters of type AtomExpression
 int AtomExpression.compareTo(AtomExpression other)
           
 boolean LanguageFactory.isValid(AtomExpression atomexpression)
          Checks if the given atom expression is expressable in this language
 

Method parameters in edu.cs.ai.kreator.logic with type arguments of type AtomExpression
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
static java.util.Set<Constant> AtomExpression.getConstants(java.util.Collection<? extends AtomExpression> data)
           
static java.util.List<GeneralizedPredicate> AtomExpression.getPredicates(java.util.Collection<? extends AtomExpression> data)
          For a set {p1(...)
static java.util.Set<Literal> AtomExpression.removeValues(java.util.Collection<? extends AtomExpression> data)
          For a set {A1=a1,...
static java.util.Set<Literal> AtomExpression.removeValues(java.util.Collection<? extends AtomExpression> data, boolean preserveNegation)
          For a set {A1=a1,...
 

Uses of AtomExpression in edu.cs.ai.kreator.logic.prolog
 

Methods in edu.cs.ai.kreator.logic.prolog that return types with arguments of type AtomExpression
 java.util.List<AtomExpression> PrologProgram.closure(java.util.List<AtomExpression> data, LanguageFactory language)
          Computes the closure of the given list of atom expression, e.g.
 

Method parameters in edu.cs.ai.kreator.logic.prolog with type arguments of type AtomExpression
 java.util.List<AtomExpression> PrologProgram.closure(java.util.List<AtomExpression> data, LanguageFactory language)
          Computes the closure of the given list of atom expression, e.g.
 java.lang.String PrologProgram.isEntailed(GeneralizedAtom atom, java.util.List<AtomExpression> evidences)
          Checks whether the given atom is entailed by this prolog program.
 

Constructor parameters in edu.cs.ai.kreator.logic.prolog with type arguments of type AtomExpression
RuleSldNode(Clause clause, java.util.List<AtomExpression> evidences)
          Constructs a rule node with the given clause.
VariableSldNode(GeneralizedAtom atom, java.util.List<AtomExpression> evidences)
          Constructs a new node with the given bayesian atom.
 

Uses of AtomExpression in edu.cs.ai.kreator.models
 

Fields in edu.cs.ai.kreator.models with type parameters of type AtomExpression
protected  java.util.List<AtomExpression> Query.evidences
          The evidence expressions of this query
protected  java.util.List<AtomExpression> Query.questions
          The query atom expressions atoms of this query.
 

Methods in edu.cs.ai.kreator.models that return types with arguments of type AtomExpression
abstract  java.util.List<AtomExpression> Knowledgebase.generateData(int numDataSets)
          Generates "numDataSets" number of data set samples from this knowledge base.
 java.util.List<AtomExpression> Query.getEvidences()
           
 java.util.List<AtomExpression> Query.getQuestionAtomExpressions()
           
 java.util.List<AtomExpression> Learner.incorporateClosedWorldAssumption(java.util.Collection<? extends AtomExpression> samples)
          This method incorporates a closed world assumption into the given set of samples.
 

Methods in edu.cs.ai.kreator.models with parameters of type AtomExpression
 boolean Query.addEvidence(AtomExpression e)
          Adds the given atom expression to this query as evidence.
 

Method parameters in edu.cs.ai.kreator.models with type arguments of type AtomExpression
 void Query.addEvidences(java.util.List<AtomExpression> e)
          Adds the given atom expressions to this query as evidence.
 java.util.List<AtomExpression> Learner.incorporateClosedWorldAssumption(java.util.Collection<? extends AtomExpression> samples)
          This method incorporates a closed world assumption into the given set of samples.
abstract  Knowledgebase StructureLearner.learnModel(java.util.Collection<? extends AtomExpression> data)
           
abstract  Knowledgebase ParameterLearner.optimizeParameters(Knowledgebase kb, java.util.Collection<? extends AtomExpression> data)
          This method optimizes the parameters of the given knowledge base wrt.
 

Constructor parameters in edu.cs.ai.kreator.models with type arguments of type AtomExpression
Query(java.lang.String queryString, LanguageFactory languageFact, java.util.Collection<AtomExpression> questions)
           
Query(java.lang.String queryString, LanguageFactory languageFact, java.util.Collection<AtomExpression> questions, java.util.Collection<AtomExpression> evidences)
          Constructs a new query.
Query(java.lang.String queryString, LanguageFactory languageFact, java.util.Collection<AtomExpression> questions, java.util.Collection<AtomExpression> evidences)
          Constructs a new query.
 

Uses of AtomExpression in edu.cs.ai.kreator.parser.groundatom
 

Methods in edu.cs.ai.kreator.parser.groundatom that return AtomExpression
 AtomExpression GroundAtomWalker.atomExpression()
           
 

Methods in edu.cs.ai.kreator.parser.groundatom that return types with arguments of type AtomExpression
 java.util.List<AtomExpression> GroundAtomWalker.getGroundAtoms()
           
 java.util.ArrayList<AtomExpression> GroundAtomWalker.groundAtomExpressions()
           
static java.util.List<AtomExpression> QueryAndGroundAtomParsingFacility.parseGroundAtomExpressions(java.io.File groundAtomFile, LanguageFactory langFactory)
          Parses several ground atom expressions from a file.
static java.util.List<AtomExpression> QueryAndGroundAtomParsingFacility.parseGroundAtomExpressions(java.lang.String groundAtomString, LanguageFactory langFactory)
          Parses several ground atom expressions from a string.
 java.util.ArrayList<AtomExpression> GroundAtomWalker.questionPart()
           
 

Uses of AtomExpression in edu.cs.ai.kreator.ui.gui.components
 

Methods in edu.cs.ai.kreator.ui.gui.components that return types with arguments of type AtomExpression
 java.util.List<AtomExpression> FileEvidenceSelection.getSelectedEvidences()
           
 

Uses of AtomExpression in edu.cs.ai.kreator.ui.gui.components.controller
 

Methods in edu.cs.ai.kreator.ui.gui.components.controller that return AtomExpression
 AtomExpression EvidencePreviewGuideController.getEvidence()