Uses of Class
org.tweetyproject.logics.commons.syntax.Constant
-
-
-
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 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 constantsMethod parameters in org.tweetyproject.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 org.tweetyproject.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 org.tweetyproject.arg.aba.syntax
Method parameters in org.tweetyproject.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 org.tweetyproject.arg.aspic.syntax
Method parameters in org.tweetyproject.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 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(java.util.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 java.util.Set<RelationalFormula>
RelationalFormula. allGroundInstances(java.util.Set<Constant> constants)
Computes all ground instances of this relational formula wrt.Constructors in org.tweetyproject.logics.commons.syntax with parameters of type Constant Constructor Description Constant(Constant other)
Copy-Ctor: Creates a deep copy of the given ConstantConstructor parameters in org.tweetyproject.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 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 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, 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 org.tweetyproject.logics.fol.syntax
Methods in org.tweetyproject.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 org.tweetyproject.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 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, 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 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 java.util.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 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 org.tweetyproject.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 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 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 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.
-