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

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.

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

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.