Uses of Class
org.tweetyproject.logics.fol.semantics.HerbrandInterpretation

Packages that use HerbrandInterpretation

Package	Description
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.mln.reasoner
org.tweetyproject.logics.rcl.semantics
org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser
org.tweetyproject.logics.rpcl.semantics

Uses of HerbrandInterpretation in org.tweetyproject.logics.fol.semantics

Methods in org.tweetyproject.logics.fol.semantics that return HerbrandInterpretation

Modifier and Type	Method	Description
HerbrandInterpretation	HerbrandInterpretation.exchange(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 org.tweetyproject.logics.fol.semantics that return types with arguments of type HerbrandInterpretation

Modifier and Type	Method	Description
Set<HerbrandInterpretation>	HerbrandBase.getAllHerbrandInterpretations()

Methods in org.tweetyproject.logics.fol.semantics with parameters of type HerbrandInterpretation

Modifier and Type	Method	Description
boolean	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 HerbrandInterpretation in org.tweetyproject.logics.mln.reasoner

Methods in org.tweetyproject.logics.mln.reasoner that return types with arguments of type HerbrandInterpretation

Modifier and Type	Method	Description
Map<HerbrandInterpretation,Double>	ApproximateNaiveMlnReasoner.computeModel(MarkovLogicNetwork mln, FolSignature signature)	Computes the model of the given MLN wrt.

Uses of HerbrandInterpretation in org.tweetyproject.logics.rcl.semantics

Methods in org.tweetyproject.logics.rcl.semantics that return types with arguments of type HerbrandInterpretation

Modifier and Type	Method	Description
Set<HerbrandInterpretation>	RelationalRankingFunction.getPossibleInterpretations()	Returns all interpretations that are mapped to a rank unequal to INFINITY.

Methods in org.tweetyproject.logics.rcl.semantics with parameters of type HerbrandInterpretation

Modifier and Type	Method	Description
Integer	RelationalRankingFunction.numFalsifiedInstances(HerbrandInterpretation w, RelationalConditional rc)	Returns the number of instances of "rc" that are falsified by the given interpretation.
Integer	RelationalRankingFunction.numVerifiedInstances(HerbrandInterpretation w, RelationalConditional rc)	Returns the number of instances of "rc" that are verified by the given interpretation.
Integer	RelationalRankingFunction.rank(HerbrandInterpretation w)	Gets the rank of the given Herbrand interpretation.
void	RelationalRankingFunction.setRank(HerbrandInterpretation w, Integer value)	Sets the rank for the given Herbrand interpretation.

Uses of HerbrandInterpretation in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Methods in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser that return types with arguments of type HerbrandInterpretation

Modifier and Type	Method	Description
static final Pair<HerbrandInterpretation,Probability>	RpclProbabilityDistributionParser.ProbabilityAssignment(FolSignature signature)

Uses of HerbrandInterpretation in org.tweetyproject.logics.rpcl.semantics

Methods in org.tweetyproject.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 org.tweetyproject.logics.rpcl.semantics with parameters of type HerbrandInterpretation

Modifier and Type	Method	Description
static ReferenceWorld	ReferenceWorld.getMapping(HerbrandInterpretation i, Set<Predicate> predicates, Set<Set<Constant>> constants)	Determines the reference world of the given interpretation wrt.