Uses of Class
org.tweetyproject.logics.commons.syntax.Constant

Packages that use Constant

Package	Description
org.tweetyproject.action.grounding
org.tweetyproject.arg.aba.syntax
org.tweetyproject.arg.aspic.syntax
org.tweetyproject.arg.delp.syntax
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.dl.syntax
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.fol.syntax
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
org.tweetyproject.logics.rpcl.semantics
org.tweetyproject.logics.rpcl.syntax

Uses of Constant in org.tweetyproject.action.grounding

Methods in org.tweetyproject.action.grounding that return types with arguments of type Constant

Modifier and Type	Method	Description
static Set<Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(Set<Variable> variables)	Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.
static Set<Map<Variable,Constant>>	GroundingTools.getAllSubstitutions(Set<Variable> variables, Set<Constant> constants)	Calculates all possible substitutions of variables for a given set of constants

Method parameters in org.tweetyproject.action.grounding with type arguments of type Constant

Modifier and Type	Method	Description
boolean	GroundingRequirement.isValid(Map<Variable,Constant> assignment)	This method checks if an assignment of constants to variables satisfies a given grounding condition.
boolean	VarConstNeqRequirement.isValid(Map<Variable,Constant> assignment)
boolean	VarsNeqRequirement.isValid(Map<Variable,Constant> assignment)
static boolean	GroundingTools.isValidGroundingApplication(Map<Variable,Constant> map, Set<GroundingRequirement> requirements)	Checks a grounding application for compliance with the grounding requirements.

Constructors in org.tweetyproject.action.grounding with parameters of type Constant

Modifier	Constructor	Description
	VarConstNeqRequirement(Variable variable, Constant constant)	Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.

Uses of Constant in org.tweetyproject.arg.aba.syntax

Method parameters in org.tweetyproject.arg.aba.syntax with type arguments of type Constant

Modifier and Type	Method	Description
Set<? extends AbaElement<T>>	AbaElement.allGroundInstances(Set<Constant> constants)	Computes all ground instances of all inner fol formulas wrt.

Uses of Constant in org.tweetyproject.arg.aspic.syntax

Method parameters in org.tweetyproject.arg.aspic.syntax with type arguments of type Constant

Modifier and Type	Method	Description
Set<InferenceRule<T>>	InferenceRule.allGroundInstances(Set<Constant> constants)

Uses of Constant in org.tweetyproject.arg.delp.syntax

Method parameters in org.tweetyproject.arg.delp.syntax with type arguments of type Constant

Modifier and Type	Method	Description
DefeasibleLogicProgram	DefeasibleLogicProgram.ground(Set<Constant> constants)	In general, a delp comprises of rule schemes with variables.

Uses of Constant in org.tweetyproject.logics.commons.syntax

Methods in org.tweetyproject.logics.commons.syntax that return Constant

Modifier and Type	Method	Description
Constant	Constant.clone()

Method parameters in org.tweetyproject.logics.commons.syntax with type arguments of type Constant

Modifier and Type	Method	Description
Set<RelationalFormula>	RelationalFormula.allGroundInstances(Set<Constant> constants)	Computes all ground instances of this relational formula wrt.

Constructors in org.tweetyproject.logics.commons.syntax with parameters of type Constant

Modifier	Constructor	Description
	Constant(Constant other)	Copy-Ctor: Creates a deep copy of the given Constant

Constructor parameters in org.tweetyproject.logics.commons.syntax with type arguments of type Constant

Modifier	Constructor	Description
	Sort(String name, Set<Constant> constants)	Ctor: Creates a Sort with the given name and the given constants.

Uses of Constant in org.tweetyproject.logics.dl.syntax

Subclasses of Constant in org.tweetyproject.logics.dl.syntax

Modifier and Type	Class	Description
class	Individual	This class models an individual in description logic, also known as an object.

Constructors in org.tweetyproject.logics.dl.syntax with parameters of type Constant

Modifier	Constructor	Description
	Individual(Constant other)

Uses of Constant in org.tweetyproject.logics.fol.semantics

Method parameters in org.tweetyproject.logics.fol.semantics with type arguments of type Constant

Modifier and Type	Method	Description
boolean	HerbrandInterpretation.isSyntacticallyEquivalent(HerbrandInterpretation other, Collection<? extends Collection<? extends Constant>> equivalenceClasses)	Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.

Uses of Constant in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return Constant

Modifier and Type	Method	Description
Constant	FolSignature.getConstant(String s)	Get the constant with the given name.

Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type Constant

Modifier and Type	Method	Description
Set<Constant>	FolSignature.getConstants()	Returns the constants of this first-order logic signature.
abstract Set<Constant>	LogicStructure.getConstants()

Uses of Constant in org.tweetyproject.logics.ml.semantics

Method parameters in org.tweetyproject.logics.ml.semantics with type arguments of type Constant

Modifier and Type	Method	Description
boolean	MlHerbrandInterpretation.isSyntacticallyEquivalent(MlHerbrandInterpretation other, Collection<? extends Collection<? extends Constant>> equivalenceClasses)	Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.

Uses of Constant in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return types with arguments of type Constant

Modifier and Type	Method	Description
static final Set<Constant>	RpclCondensedProbabilityDistributionParser.ConstantSet(FolSignature signature)

Uses of Constant in org.tweetyproject.logics.rpcl.semantics

Method parameters in org.tweetyproject.logics.rpcl.semantics with type arguments of type Constant

Modifier and Type	Method	Description
static Set<InstanceAssignment>	InstanceAssignment.enumerateInstanceAssignments(Predicate p, Set<Set<Constant>> constants)	Determines the set of all instance assignments for the given predicate and equivalence classes.
Integer	ReferenceWorld.get(Predicate predicate, Collection<? extends Constant> constants)	Retrieves the number of true instances assigned for the given predicate and the given equivalence class of constants.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getRandomDistribution(RpclSemantics semantics, FolSignature signature, Set<Set<Constant>> equivalenceClasses)	Returns a random distribution on the given signature.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature, Set<Set<Constant>> equivalenceClasses)	Returns the uniform distribution on the given signature.
Integer	InstanceAssignment.put(Collection<? extends Constant> key, Integer value)

Constructor parameters in org.tweetyproject.logics.rpcl.semantics with type arguments of type Constant

Modifier	Constructor	Description
	InstanceAssignment(Predicate predicate, Map<? extends Collection<? extends Constant>,Integer> map)	Creates a new instance assignment for the given predicate with the given map.
	ReferenceWorld(Collection<? extends Collection<? extends Constant>> equivalenceClasses, Collection<Predicate> predicates)	Creates a new reference world for the given equivalence classes.

Uses of Constant in org.tweetyproject.logics.rpcl.syntax

Methods in org.tweetyproject.logics.rpcl.syntax that return types with arguments of type Constant

Modifier and Type	Method	Description
Set<Set<Constant>>	RpclBeliefSet.getEquivalenceClasses()	Determines the equivalence classes of this belief set, i.e.
Set<Set<Constant>>	RpclBeliefSet.getEquivalenceClasses(FolSignature signature)	Determines the equivalence classes of this belief set wrt.

Methods in org.tweetyproject.logics.rpcl.syntax with parameters of type Constant

Modifier and Type	Method	Description
boolean	RpclBeliefSet.areEquivalent(Constant a, Constant b)	Checks whether the two given constants are equivalent wrt.