Package net.sf.tweety.arg.adf.sat

Interface SatSolverState

    • Method Summary

      Modifier and Type Method Description
      boolean add​(Collection<net.sf.tweety.logics.pl.syntax.Disjunction> clauses)  
      boolean add​(net.sf.tweety.logics.pl.syntax.Disjunction clause)  
      long getHandle()  
      boolean isTrue​(net.sf.tweety.logics.pl.syntax.Proposition p)  
      boolean remove​(net.sf.tweety.logics.pl.syntax.Disjunction clause)  
      void setSatCalled()  

    • Method Detail

      • getHandle

        long getHandle()

      • isTrue

        boolean isTrue​(net.sf.tweety.logics.pl.syntax.Proposition p)

      • add

        boolean add​(net.sf.tweety.logics.pl.syntax.Disjunction clause)

      • add

        boolean add​(Collection<net.sf.tweety.logics.pl.syntax.Disjunction> clauses)

      • remove

        boolean remove​(net.sf.tweety.logics.pl.syntax.Disjunction clause)

      • setSatCalled

        void setSatCalled()