Uses of Class
net.sf.tweety.logics.commons.syntax.Constant

Packages that use Constant

Package	Description
net.sf.tweety.action.grounding
net.sf.tweety.arg.aba.syntax
net.sf.tweety.arg.aspic.syntax
net.sf.tweety.arg.delp.syntax
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.dl.syntax
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
net.sf.tweety.logics.rpcl.semantics
net.sf.tweety.logics.rpcl.syntax

Uses of Constant in net.sf.tweety.action.grounding

Methods in net.sf.tweety.action.grounding that return types with arguments of type Constant

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

Method parameters in net.sf.tweety.action.grounding with type arguments of type Constant

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

Constructors in net.sf.tweety.action.grounding with parameters of type Constant

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 net.sf.tweety.arg.aba.syntax

Method parameters in net.sf.tweety.arg.aba.syntax with type arguments of type Constant

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

Uses of Constant in net.sf.tweety.arg.aspic.syntax

Method parameters in net.sf.tweety.arg.aspic.syntax with type arguments of type Constant

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

Uses of Constant in net.sf.tweety.arg.delp.syntax

Method parameters in net.sf.tweety.arg.delp.syntax with type arguments of type Constant

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

Uses of Constant in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Constant

Modifier and Type	Method	Description
Constant	Constant.clone()

Method parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Constant

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

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type Constant

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

Constructor parameters in net.sf.tweety.logics.commons.syntax with type arguments of type Constant

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

Uses of Constant in net.sf.tweety.logics.dl.syntax

Subclasses of Constant in net.sf.tweety.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 net.sf.tweety.logics.dl.syntax with parameters of type Constant

Constructor	Description
Individual(Constant other)

Uses of Constant in net.sf.tweety.logics.fol.semantics

Method parameters in net.sf.tweety.logics.fol.semantics with type arguments of type Constant

Modifier and Type	Method	Description
boolean	HerbrandInterpretation.isSyntacticallyEquivalent(HerbrandInterpretation other, java.util.Collection<? extends java.util.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 net.sf.tweety.logics.fol.syntax

Methods in net.sf.tweety.logics.fol.syntax that return Constant

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

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type Constant

Modifier and Type	Method	Description
java.util.Set<Constant>	FolSignature.getConstants()	Returns the constants of this first-order logic signature.
abstract java.util.Set<Constant>	LogicStructure.getConstants()	Returns all constants that appear in this structure.

Uses of Constant in net.sf.tweety.logics.ml.semantics

Method parameters in net.sf.tweety.logics.ml.semantics with type arguments of type Constant

Modifier and Type	Method	Description
boolean	MlHerbrandInterpretation.isSyntacticallyEquivalent(MlHerbrandInterpretation other, java.util.Collection<? extends java.util.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 net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser that return types with arguments of type Constant

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

Uses of Constant in net.sf.tweety.logics.rpcl.semantics

Method parameters in net.sf.tweety.logics.rpcl.semantics with type arguments of type Constant

Modifier and Type	Method	Description
static java.util.Set<InstanceAssignment>	InstanceAssignment.enumerateInstanceAssignments(Predicate p, java.util.Set<java.util.Set<Constant>> constants)	Determines the set of all instance assignments for the given predicate and equivalence classes.
java.lang.Integer	ReferenceWorld.get(Predicate predicate, java.util.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, java.util.Set<java.util.Set<Constant>> equivalenceClasses)	Returns a random distribution on the given signature.
static CondensedProbabilityDistribution	CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature, java.util.Set<java.util.Set<Constant>> equivalenceClasses)	Returns the uniform distribution on the given signature.
java.lang.Integer	InstanceAssignment.put(java.util.Collection<? extends Constant> key, java.lang.Integer value)

Constructor parameters in net.sf.tweety.logics.rpcl.semantics with type arguments of type Constant

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

Uses of Constant in net.sf.tweety.logics.rpcl.syntax

Methods in net.sf.tweety.logics.rpcl.syntax that return types with arguments of type Constant

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

Methods in net.sf.tweety.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.