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

Packages that use HerbrandInterpretation

Package	Description
net.sf.tweety.logics.fol.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 and Description
HerbrandInterpretation	HerbrandInterpretation.exchange(Map<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,net.sf.tweety.logics.commons.syntax.interfaces.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(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t1, net.sf.tweety.logics.commons.syntax.interfaces.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
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, Collection<? extends Collection<? extends net.sf.tweety.logics.commons.syntax.Constant>> equivalenceClasses) Checks whether this interpretation is syntactically equivalent to the given interpretation and the given equivalence classes, i.e.