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

Packages that use VariableFactory

edu.cs.ai.kreator.logic

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

Methods in edu.cs.ai.kreator.logic that return VariableFactory

VariableFactory	Variable.getVariableFactory() Returns the VariableFactory this variable object belongs to.
VariableFactory	Clause.getVariables()

Methods in edu.cs.ai.kreator.logic with parameters of type VariableFactory

static Variable	Variable.create(VariableFactory varFac, java.lang.String name, Sort sort) Constructs a new variable with the given name and sort.
static Variable	Variable.createOrGet(VariableFactory varFac, java.lang.String name, Sort sort) Returns an already existing variable or, if necessary, constructs a new variable with the given name and sort.
static Variable	Variable.createUniqueVariable(VariableFactory varFac, Sort sort) Returns a new variable with a unique name of the given sort.
Variable	TweetyTranslator.toKreatorVariable(net.sf.tweety.logics.firstorderlogic.syntax.Variable var, LanguageFactory language, VariableFactory vfac)

Constructors in edu.cs.ai.kreator.logic with parameters of type VariableFactory

Clause(Literal head, java.util.Collection<? extends Literal> body, VariableFactory factory)
Constructs a clause with the given head and body.

Clause(Literal head, VariableFactory factory)
Constructs a clause with the given head and empty body.