Uses of Class
org.tweetyproject.logics.commons.syntax.Constant
Package
Description
-
Uses of Constant in org.tweetyproject.action.grounding
Modifier and TypeMethodDescriptionGroundingTools.getAllSubstitutions(Set<Variable> variables)
Calculates all possible substitutions in the given set of variables using all possible constants of the same sort.GroundingTools.getAllSubstitutions(Set<Variable> variables, Set<Constant> constants)
Calculates all possible substitutions of variables for a given set of constantsModifier and TypeMethodDescriptionboolean
This method checks if an assignment of constants to variables satisfies a given grounding condition.boolean
boolean
static boolean
GroundingTools.isValidGroundingApplication(Map<Variable,Constant> map, Set<GroundingRequirement> requirements)
Checks a grounding application for compliance with the grounding requirements.ModifierConstructorDescriptionVarConstNeqRequirement(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
Modifier and TypeMethodDescriptionSet<? 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
-
Uses of Constant in org.tweetyproject.arg.delp.syntax
Modifier and TypeMethodDescriptionIn general, a delp comprises of rule schemes with variables. -
Uses of Constant in org.tweetyproject.logics.commons.syntax
Modifier and TypeMethodDescriptionRelationalFormula.allGroundInstances(Set<Constant> constants)
Computes all ground instances of this relational formula wrt.ModifierConstructorDescriptionCopy-Ctor: Creates a deep copy of the given Constant -
Uses of Constant in org.tweetyproject.logics.dl.syntax
Modifier and TypeClassDescriptionclass
This class models an individual in description logic, also known as an object. -
Uses of Constant in org.tweetyproject.logics.fol.semantics
Modifier and TypeMethodDescriptionboolean
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
Modifier and TypeMethodDescriptionFolSignature.getConstant(String s)
Get the constant with the given name.Modifier and TypeMethodDescriptionFolSignature.getConstants()
Returns the constants of this first-order logic signature.LogicStructure.getConstants()
-
Uses of Constant in org.tweetyproject.logics.ml.semantics
Modifier and TypeMethodDescriptionboolean
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
Modifier and TypeMethodDescriptionRpclCondensedProbabilityDistributionParser.ConstantSet(FolSignature signature)
-
Uses of Constant in org.tweetyproject.logics.rpcl.semantics
Modifier and TypeMethodDescriptionstatic Set<InstanceAssignment>
InstanceAssignment.enumerateInstanceAssignments(Predicate p, Set<Set<Constant>> constants)
Determines the set of all instance assignments for the given predicate and equivalence classes.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.CondensedProbabilityDistribution.getRandomDistribution(RpclSemantics semantics, FolSignature signature, Set<Set<Constant>> equivalenceClasses)
Returns a random distribution on the given signature.CondensedProbabilityDistribution.getUniformDistribution(RpclSemantics semantics, FolSignature signature, Set<Set<Constant>> equivalenceClasses)
Returns the uniform distribution on the given signature.InstanceAssignment.put(Collection<? extends Constant> key, Integer value)
ModifierConstructorDescriptionInstanceAssignment(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
Modifier and TypeMethodDescriptionRpclBeliefSet.getEquivalenceClasses()
Determines the equivalence classes of this belief set, i.e.RpclBeliefSet.getEquivalenceClasses(FolSignature signature)
Determines the equivalence classes of this belief set wrt.Modifier and TypeMethodDescriptionboolean
RpclBeliefSet.areEquivalent(Constant a, Constant b)
Checks whether the two given constants are equivalent wrt.