Class ASPSolver

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected int integerMaximum
      Represents the upper integer bound.
      protected int maxNumOfModels
      The maximum number of models to be generated.
      protected java.lang.String outputData
      Stores the (latest) result of the solver as a String.
    • 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

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

      • outputData

        protected java.lang.String outputData
        Stores the (latest) result of the solver as a String.
      • maxNumOfModels

        protected int maxNumOfModels
        The maximum number of models to be generated.
      • integerMaximum

        protected int integerMaximum
        Represents 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.
    • 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