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.ml
net.sf.tweety.logics.rcl.semantics
net.sf.tweety.logics.rpcl
net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

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 and 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 and Description
java.util.Set<HerbrandInterpretation>	HerbrandBase.allHerbrandInterpretations() 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 and 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.ml

Fields in net.sf.tweety.logics.ml declared as HerbrandInterpretation

Modifier and Type	Field and Description
(package private) HerbrandInterpretation	ApproximateNaiveMlnReasoner.WeightedHerbrandInterpretation.interpretation

Fields in net.sf.tweety.logics.ml with type parameters of type HerbrandInterpretation

Modifier and Type	Field and Description
private ProbabilityDistribution<HerbrandInterpretation>	ApproximateNaiveMlnReasoner.prob The approximated model of the MLN (saved for avoid double computation).

Methods in net.sf.tweety.logics.ml that return HerbrandInterpretation

Modifier and Type	Method and Description
private HerbrandInterpretation	NaiveMlnReasoner.parseInterpretation(java.lang.String str) Constructs a Herbrand interpretation from the given string

Methods in net.sf.tweety.logics.ml that return types with arguments of type HerbrandInterpretation

Modifier and Type	Method and Description
private ProbabilityDistribution<HerbrandInterpretation>	ApproximateNaiveMlnReasoner.computeModel() Computes the model of the given MLN wrt.

Methods in net.sf.tweety.logics.ml with parameters of type HerbrandInterpretation

Modifier and Type	Method and Description
protected double	AbstractMlnReasoner.computeWeight(HerbrandInterpretation hInt) 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) 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 and 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 and 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 and 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

Methods in net.sf.tweety.logics.rpcl with parameters of type HerbrandInterpretation

Modifier and Type	Method and 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.

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 and Description
static Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)