Uses of Class
net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
-
Packages that use MlHerbrandInterpretation Package Description net.sf.tweety.logics.ml.semantics -
-
Uses of MlHerbrandInterpretation in net.sf.tweety.logics.ml.semantics
Methods in net.sf.tweety.logics.ml.semantics that return MlHerbrandInterpretation Modifier and Type Method Description MlHerbrandInterpretation
MlHerbrandInterpretation. 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 interpretationMlHerbrandInterpretation
MlHerbrandInterpretation. 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.ml.semantics that return types with arguments of type MlHerbrandInterpretation Modifier and Type Method Description java.util.Set<MlHerbrandInterpretation>
MlHerbrandBase. getAllHerbrandInterpretations()
Computes all possible Herbrand interpretations of this Herbrand base, i.e.Methods in net.sf.tweety.logics.ml.semantics with parameters of type MlHerbrandInterpretation Modifier and Type Method Description boolean
MlHerbrandInterpretation. isSyntacticallyEquivalent(MlHerbrandInterpretation 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.
-