Class LdoInterpretation

    • Method Summary

      Modifier and Type Method Description
      boolean satisfies​(LdoFormula formula)
      Checks whether this interpretation satisfies the given formula.
      boolean satisfies​(DungTheory beliefBase)
      Checks whether this interpretation satisfies the given knowledge base.
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • theory

        private DungTheory theory
        The abstract argumentation framework
      • sem

        private Semantics sem
        The used semantics
    • Constructor Detail

      • LdoInterpretation

        public LdoInterpretation​(DungTheory theory,
                                 Extension ext,
                                 Semantics semantics)
        Creates a new interpretation
        Parameters:
        theory - an abstract argumentation framework
        ext - an extension (possibly null)
        semantics - the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)
      • LdoInterpretation

        public LdoInterpretation​(DungTheory theory,
                                 Semantics semantics)
        Creates a new interpretation
        Parameters:
        theory - an abstract argumentation framework
        semantics - the used semantics (see net.sf.tweety.arg.dung.semantics.Semantics)
    • Method Detail

      • satisfies

        public boolean satisfies​(LdoFormula formula)
                          throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given formula.
        Parameters:
        formula - a formula .
        Returns:
        "true" if this interpretation satisfies the given formula.
        Throws:
        java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.
      • satisfies

        public boolean satisfies​(DungTheory beliefBase)
                          throws java.lang.IllegalArgumentException
        Description copied from interface: Interpretation
        Checks whether this interpretation satisfies the given knowledge base.
        Parameters:
        beliefBase - a knowledge base.
        Returns:
        "true" if this interpretation satisfies the given knowledge base.
        Throws:
        java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.