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

Packages that use Constant

edu.cs.ai.kreator.datamodels
edu.cs.ai.kreator.logic
edu.cs.ai.kreator.logic.metaconstraints
edu.cs.ai.kreator.logic.prolog
edu.cs.ai.kreator.models
edu.cs.ai.kreator.parser.groundatom
edu.cs.ai.kreator.ui.gui.components.controller

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

Methods in edu.cs.ai.kreator.datamodels that return types with arguments of type Constant

java.util.List<Constant>

SampleCollection.getConstants()

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

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

static Constant	Constant.create(LanguageFactory languageFactory, java.lang.String name) Constructs a constant with the given name and default sort.
static Constant	Constant.create(LanguageFactory lang, java.lang.String name, Sort sort) Constructs a new constant with the given name and sort.
static Constant	Constant.createOrGet(LanguageFactory lang, java.lang.String name) If not already existing, constructs a constant with the given name and the default sort.
static Constant	Constant.createOrGet(LanguageFactory lang, java.lang.String name, Sort sort) Returns an already existing constant or, if necessary, constructs a new constant with the given name and sort.
Constant	LanguageFactory.getExistingConstant(java.lang.String constantName) Look for the constant with the given name.
Constant	LogicTranslator.toKreatorConstant(C constant, LanguageFactory language)
Constant	TweetyTranslator.toKreatorConstant(net.sf.tweety.logics.firstorderlogic.syntax.Constant constant, LanguageFactory language)

Methods in edu.cs.ai.kreator.logic that return types with arguments of type Constant

java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitutionWithAdditionalConstants(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.List<Constant>	LanguageFactory.getAllConstants() Returns a list of all constants in this language.
java.util.Set<Constant>	Clause.getAllConstants() Returns all Constant which occurr in this RmeConditional.
java.util.List<Constant>	LanguageFactory.getAllConstants(Sort sort) Returns a list of all constants with the given Sort in this language.
java.util.Set<Constant>	StrictNegation.getConstants()
abstract java.util.Set<Constant>	Literal.getConstants() Returns the set of constants, that appear in this literal.
java.util.Set<Constant>	GeneralizedAtom.getConstants()
java.util.Set<Constant>	AtomExpression.getConstants() returns the set of constants, that appear in this atom expression.
static java.util.Set<Constant>	AtomExpression.getConstants(java.util.Collection<? extends AtomExpression> data)

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

boolean	LanguageFactory.contains(Constant constant) Checks if the given constant is contained in this language.
net.sf.tweety.logics.firstorderlogic.syntax.Constant	TweetyTranslator.fromKreatorConstant(Constant c, net.sf.tweety.logics.firstorderlogic.syntax.FolSignature language)
C	LogicTranslator.fromKreatorConstant(Constant c, L language)

Method parameters in edu.cs.ai.kreator.logic with type arguments of type Constant

java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitution(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Set<MetaConstraint> constraints, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants with respect to the given set of MetaConstraint.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitutionWithAdditionalConstants(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants.
java.util.Set<java.util.Map<Variable,Constant>>	LanguageFactory.expandSubstitutionWithAdditionalConstants(java.util.Map<Variable,Constant> substitution, java.util.Set<Variable> variables, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) Completes the given substitution by assigning mappings from all given variables to all possible constants.
LanguageFactory	LanguageFactory.getSubLanguage(java.util.Set<Sort> sorts, java.util.Set<Constant> consts, java.util.Set<GeneralizedPredicate> preds, java.util.Set<Functor> functors) Generates a new LanguageFactory which is a subset of this LanguageFactory.
java.util.Set<Clause>	Clause.unify(Literal literal, LanguageFactory language, java.util.Map<Sort,java.util.Set<Constant>> additionalConstants) This method tries to unify this clause's head with the given literal and returns all possible clauses where all variables are substituted according to this unification and all other possible substitutions.

Uses of Constant in edu.cs.ai.kreator.logic.metaconstraints

Methods in edu.cs.ai.kreator.logic.metaconstraints that return types with arguments of type Constant

java.util.Set<Constant>

ExclusionConstraint.getConstants()

Method parameters in edu.cs.ai.kreator.logic.metaconstraints with type arguments of type Constant

boolean	NotEqualConstraint.isValidSubstitution(java.util.Map<Variable,Constant> substitution)
boolean	MetaConstraint.isValidSubstitution(java.util.Map<Variable,Constant> substitution) Checks if a given substitution violates this MetaConstraint.
boolean	ExclusionConstraint.isValidSubstitution(java.util.Map<Variable,Constant> substitution)

Constructor parameters in edu.cs.ai.kreator.logic.metaconstraints with type arguments of type Constant

ExclusionConstraint(Variable var, java.util.Collection<? extends Constant> consts)
Creates a new ExclusionConstraint object with a given Variable and a given Collection of Constants.

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

Method parameters in edu.cs.ai.kreator.logic.prolog with type arguments of type Constant

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.

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

Methods in edu.cs.ai.kreator.models that return types with arguments of type Constant

java.util.Set<Constant>	Query.getConstants() returns the set of constants appearing in this query.
java.util.List<Constant>	Knowledgebase.getConstants()

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

Methods in edu.cs.ai.kreator.parser.groundatom that return Constant

Constant

GroundAtomWalker.constant(Sort sort)

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

Methods in edu.cs.ai.kreator.ui.gui.components.controller that return Constant

Constant

QueryPreviewGuideController.ParameterPair.getConstant()

Methods in edu.cs.ai.kreator.ui.gui.components.controller with parameters of type Constant

void	QueryPreviewGuideController.ParameterPair.setConstant(Constant c)
protected void	QueryPreviewGuideController.setParameter(Constant c) Helper method: Sets a new parameter.

Constructors in edu.cs.ai.kreator.ui.gui.components.controller with parameters of type Constant

QueryPreviewGuideController.ParameterPair(Sort type, Constant value)