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
net.sf.tweety.arg.delp.parser
net.sf.tweety.logics.commons.syntax
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.fol.syntax
net.sf.tweety.logics.rpcl
net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

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

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

Modifier and Type	Field and Description
private Constant	VarConstNeqRequirement.constant

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

Modifier and Type	Method and 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 and Description
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
boolean	VarsNeqRequirement.isValid(java.util.Map<Variable,Constant> assignment)
boolean	VarConstNeqRequirement.isValid(java.util.Map<Variable,Constant> assignment)
boolean	GroundingRequirement.isValid(java.util.Map<Variable,Constant> assignment) This method checks, if an assignment of constants to variables satisfies a given grounding condition.
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 and 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 and 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 and 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 PropositionalFormula	SActionQuery.substitutePropositions(java.util.Map<Variable,Constant> map, PropositionalFormula 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

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

Modifier and Type	Method and 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.arg.delp.parser

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

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

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 and 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 and Description
Constant	Constant.clone()

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

Constructor and 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 and 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.fol.parser

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

Modifier and Type	Method and Description
private Constant	FolParserB.getOrCreateConstant(java.lang.String name, Sort type, FolSignature sig)

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

Modifier and Type	Method and Description
java.util.Set<Constant>	FolParserB.constants(Sort type)

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 and 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

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

Modifier and Type	Field and Description
private java.util.Set<Constant>	FolSignature.constants

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

Modifier and Type	Method and Description
Constant	FolSignature.getConstant(java.lang.String s)

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

Modifier and Type	Method and Description
abstract java.util.Set<Constant>	LogicStructure.getConstants() Returns all constants that appear in this structure.
java.util.Set<Constant>	FolSignature.getConstants()

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

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

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

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

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

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

Modifier and Type	Method and 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 with parameters of type Constant

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

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

Modifier and Type	Method and 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.
static java.util.Set<ReferenceWorld>	ReferenceWorld.enumerateReferenceWorlds(java.util.Set<Predicate> predicates, java.util.Set<java.util.Set<Constant>> constants) Determines the set of all reference worlds wrt.
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 ReferenceWorld	ReferenceWorld.getMapping(HerbrandInterpretation i, java.util.Set<Predicate> predicates, java.util.Set<java.util.Set<Constant>> constants) Determines the reference world of the given interpretation wrt.
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 with type arguments of type Constant

Constructor and 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.parser.rpclcondensedprobabilitydistributionparser

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

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