Uses of Class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation

Packages that use HerbrandInterpretation
Package	Description
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.mln.reasoner
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
net.sf.tweety.logics.rpcl.semantics

Uses of HerbrandInterpretation in net.sf.tweety.logics.fol.semantics

Methods in net.sf.tweety.logics.fol.semantics that return HerbrandInterpretation
Modifier and Type	Method	Description
`HerbrandInterpretation`	HerbrandInterpretation.`exchange(java.util.Map<Term<?>,Term<?>> mapping)`	For every mapping t1 -> t2, this method substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation
`HerbrandInterpretation`	HerbrandInterpretation.`exchange(Term<?> t1, Term<?> t2)`	Substitutes every occurrence of "t1" by "t2" and vice versa and returns the new interpretation.

Methods in net.sf.tweety.logics.fol.semantics that return types with arguments of type HerbrandInterpretation
Modifier and Type	Method	Description
`java.util.Set<HerbrandInterpretation>`	HerbrandBase.`getAllHerbrandInterpretations()`	Computes all possible Herbrand interpretations of this Herbrand base, i.e.

Methods in net.sf.tweety.logics.fol.semantics with parameters of type HerbrandInterpretation
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 HerbrandInterpretation in net.sf.tweety.logics.mln.reasoner

Fields in net.sf.tweety.logics.mln.reasoner declared as HerbrandInterpretation
Modifier and Type	Field	Description
`(package private) HerbrandInterpretation`	ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation.`interpretation`

Methods in net.sf.tweety.logics.mln.reasoner that return HerbrandInterpretation
Modifier and Type	Method	Description
`private HerbrandInterpretation`	SimpleMlnReasoner.`parseInterpretation(java.lang.String str, FolSignature signature)`	Constructs a Herbrand interpretation from the given string

Methods in net.sf.tweety.logics.mln.reasoner that return types with arguments of type HerbrandInterpretation
Modifier and Type	Method	Description
`java.util.Map<HerbrandInterpretation,java.lang.Double>`	ApproximateNaiveMlnReasoner.`computeModel(MarkovLogicNetwork mln, FolSignature signature)`	Computes the model of the given MLN wrt.

Methods in net.sf.tweety.logics.mln.reasoner with parameters of type HerbrandInterpretation
Modifier and Type	Method	Description
`protected double`	AbstractMlnReasoner.`computeWeight(MarkovLogicNetwork mln, HerbrandInterpretation hInt, FolSignature signature)`	Computes the (unnormalized) weight of the given Herbrand interpretation with respect to the formulas in this reasoner's MLN.
`protected int`	AbstractMlnReasoner.`numberOfGroundSatisfactions(FolFormula formula, HerbrandInterpretation hInt, FolSignature signature)`	Computes the number of instantiations of the formula, wrt.

Uses of HerbrandInterpretation in net.sf.tweety.logics.rcl.semantics

Fields in net.sf.tweety.logics.rcl.semantics with type parameters of type HerbrandInterpretation
Modifier and Type	Field	Description
`private java.util.Map<HerbrandInterpretation,java.lang.Integer>`	RelationalRankingFunction.`ranks`	The ranks of the Herbrand interpretations.

Methods in net.sf.tweety.logics.rcl.semantics that return types with arguments of type HerbrandInterpretation
Modifier and Type	Method	Description
`java.util.Set<HerbrandInterpretation>`	RelationalRankingFunction.`getPossibleInterpretations()`	Returns all interpretations that are mapped to a rank unequal to INFINITY.

Methods in net.sf.tweety.logics.rcl.semantics with parameters of type HerbrandInterpretation
Modifier and Type	Method	Description
`java.lang.Integer`	RelationalRankingFunction.`numFalsifiedInstances(HerbrandInterpretation w, RelationalConditional rc)`	Returns the number of instances of "rc" that are falsified by the given interpretation.
`java.lang.Integer`	RelationalRankingFunction.`numVerifiedInstances(HerbrandInterpretation w, RelationalConditional rc)`	Returns the number of instances of "rc" that are verified by the given interpretation.
`java.lang.Integer`	RelationalRankingFunction.`rank(HerbrandInterpretation w)`	Gets the rank of the given Herbrand interpretation.
`void`	RelationalRankingFunction.`setRank(HerbrandInterpretation w, java.lang.Integer value)`	Sets the rank for the given Herbrand interpretation.

Uses of HerbrandInterpretation in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser that return types with arguments of type HerbrandInterpretation
Modifier and Type	Method	Description
`static Pair<HerbrandInterpretation,Probability>`	RpclProbabilityDistributionParser.`ProbabilityAssignment(FolSignature signature)`

Uses of HerbrandInterpretation in net.sf.tweety.logics.rpcl.semantics

Methods in net.sf.tweety.logics.rpcl.semantics that return types with arguments of type HerbrandInterpretation
Modifier and Type	Method	Description
`static RpclProbabilityDistribution<HerbrandInterpretation>`	RpclProbabilityDistribution.`getUniformDistribution(RpclSemantics semantics, FolSignature signature)`	Returns the uniform distribution on the given signature.

Methods in net.sf.tweety.logics.rpcl.semantics with parameters of type HerbrandInterpretation
Modifier and Type	Method	Description
`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.