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

Packages that use Constant

Package	Description
net.sf.tweety.action.grounding
net.sf.tweety.action.grounding.parser
net.sf.tweety.action.query.syntax
net.sf.tweety.arg.delp.parser
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

Fields in net.sf.tweety.action.grounding declared as Constant

Modifier and Type	Field	Description
private Constant	VarConstNeqRequirement.constant

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.action.grounding.parser

Methods in net.sf.tweety.action.grounding.parser that return Constant

Modifier and Type	Method	Description
private Constant	GroundingRequirementsParser.getConstant(java.lang.String name, Sort sort)	Returns the constant with the name 'name' of the sort 'sort', if one exists, null otherwise.

Uses of Constant in net.sf.tweety.action.query.syntax

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

Modifier and Type	Method	Description
protected SActionQuery	SActionQuery.substituteInnerFormulas(java.util.Map<Variable,Constant> map)	Returns a new action query in which all variables are mapped to constants with regard to the given map.
private static PlFormula	SActionQuery.substitutePropositions(java.util.Map<Variable,Constant> map, PlFormula formula)	Utility function that walks through all parts of a propositional formula with query propositions substituting all variables with constants according to the given map.

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

Methods in net.sf.tweety.arg.delp.parser that return Constant

Modifier and Type	Method	Description
private Constant	DelpParser.createConstant(java.lang.String image, DefeasibleLogicProgram delp, FolSignature signature)

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

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

Modifier and Type	Field	Description
private java.util.Set<Constant>	Sort.constants	The set of constants of this sort

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

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

Modifier and Type	Field	Description
private java.util.Collection<? extends java.util.Collection<? extends Constant>>	ReferenceWorld.equivalenceClasses	The equivalence classes this reference world bases on.

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.
private java.lang.Integer	ReferenceWorld.getNumberOfOccurences(FolFormula f, Predicate p, java.util.Collection<? extends Constant> constants, boolean positive)	Determines the number of occurrences of instances of predicate "p" with a constant in "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.