Class AnswerSet

All Implemented Interfaces:
Iterable<ASPLiteral>, Collection<ASPLiteral>, Interpretation<Program,ASPRule>

public class AnswerSet extends InterpretationSet<ASPLiteral,Program,ASPRule>
An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.
Author:
Thomas Vengels, Tim Janus, Anna Gessler
  • Field Details

    • level

      public final int level
    • weight

      public final int weight
  • Constructor Details

    • AnswerSet

      public AnswerSet()
      Creates a new empty AnswerSet.
    • AnswerSet

      public AnswerSet(Collection<ASPLiteral> lits, int level, int weight)
      Creates a new empty AnswerSet with the given level and weight.
      Parameters:
      lits - the literals
      level - the level
      weight - the weight
    • AnswerSet

      public AnswerSet(AnswerSet other)
      Copy-Constructor
      Parameters:
      other - another answer set
  • Method Details