Uses of Class
net.sf.tweety.logics.commons.syntax.Constant
-
-
-
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 constantsMethod 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.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.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 sortMethods 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 ConstantConstructor 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.
-