Class ASPSolver

    • Constructor Summary

      Constructors 
      Constructor Description
      ASPSolver()  
    • Method Summary

      Modifier and Type Method Description
      int getIntegerMaximum()
      Get the upper integer bound.
      int getMaxNumOfModels()
      Get the maximum number of models to be generated.
      AnswerSet getModel​(Program p, int maxInt)
      Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
      abstract java.util.Collection<AnswerSet> getModels​(java.io.File f)
      Returns a characterizing model (answer set) of the given belief base.
      abstract java.util.Collection<AnswerSet> getModels​(java.lang.String p)
      Returns a characterizing model (answer set) of the given belief base.
      abstract java.util.Collection<AnswerSet> getModels​(Program p)
      Returns a characterizing model of the given belief base
      java.util.Collection<AnswerSet> getModels​(Program p, int maxInt)
      Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
      java.lang.String getOutput()  
      abstract java.lang.Boolean query​(Program beliefbase, ASPLiteral formula)
      Queries the given belief base for the given formula.
      void setIntegerMaximum​(int integerMaximum)
      Set the upper integer bound.
      void setMaxNumOfModels​(int maxNumOfModels)
      Set the maximum number of models to be generated.
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • ASPSolver

        public ASPSolver()
    • Method Detail

      • getOutput

        public java.lang.String getOutput()
      • getMaxNumOfModels

        public int getMaxNumOfModels()
        Get the maximum number of models to be generated.
        Returns:
        maximum number
      • setMaxNumOfModels

        public void setMaxNumOfModels​(int maxNumOfModels)
        Set the maximum number of models to be generated.
        Parameters:
        maxNumOfModels - the maximum number of models to be generated.
      • getIntegerMaximum

        public int getIntegerMaximum()
        Get the upper integer bound. Solvers that use this attribute will only accept integers in [0,IntegerMaximum] in input programs. Likewise, only integers in [0,IntegerMaximum] will be considered by when evaluating arithmetic predicates.
        Returns:
        the upper integer bound.
      • setIntegerMaximum

        public void setIntegerMaximum​(int integerMaximum)
        Set the upper integer bound. Solvers that use this attribute will only accept integers in [0,IntegerMaximum] in input programs. Likewise, only integers in [0,IntegerMaximum] will be considered by when evaluating arithmetic predicates.
        Parameters:
        integerMaximum - the upper integer bound
      • getModels

        public java.util.Collection<AnswerSet> getModels​(Program p,
                                                         int maxInt)
        Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
        Parameters:
        p - a program
        maxInt - the max number of models to be returned
        Returns:
        AnswerSet
      • getModel

        public AnswerSet getModel​(Program p,
                                  int maxInt)
        Returns a characterizing model (answer set) of the given belief base using the given upper integer limit.
        Parameters:
        p - a program
        maxInt - the max number of models to be returned
        Returns:
        AnswerSet
      • getModels

        public abstract java.util.Collection<AnswerSet> getModels​(java.lang.String p)
        Returns a characterizing model (answer set) of the given belief base.
        Parameters:
        p - containing belief base
        Returns:
        AnswerSet
      • getModels

        public abstract java.util.Collection<AnswerSet> getModels​(java.io.File f)
        Returns a characterizing model (answer set) of the given belief base.
        Parameters:
        f - containing belief base
        Returns:
        AnswerSet