All Classes
-
Class Description AggregateAtom This class represents an aggregate.AggregateElement This class models an aggregate element, meaning a set of terms and a set of naf literals (= literals or default negated literals).AnswerSet 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.ArithmeticTerm This class represents an arithmetic term in the ASP-Core-2 format.ASPAtom This class models an atom, which is a basic structure for building literals and rules for logic programs.ASPBodyElement This class is a common base class for ASP formulas that can be part of an ASP rule body (premise of a rule): Literals (i.e.ASPCore2Constants Token literal values and constants.ASPCore2Parser Parser for ASP programs in the ASP-Core-2 syntax https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.03c.pdf.ASPCore2ParserConstants Token literal values and constants.ASPCore2ParserExample Examples for parsing simple ELP programs and for using Clingo to solve them.ASPCore2ParserTokenManager Token Manager.ASPCore2ParserTreeConstants ASPCore2ParserVisitor ASPElement This class acts as an abstract base class for elements of ASP rules.ASPHead This formula represents the head of an disjunctive rule which is a disjunction of literals.ASPLiteral This interface defines common functionality for literals, meaning atoms or strictly negated atoms.ASPOperator This class collects some common operators used in ASP terms as well as the possible function names for aggregates.ASPOperator.AggregateFunction The following aggregate functions are supported by the ASP-Core-2 standard and by Tweety.ASPOperator.ArithmeticOperator The arithmetic operators that are supported by the ASP-Core-2 standard and by Tweety.ASPOperator.BinaryOperator The binary comparative operators that are supported by the ASP-Core-2 standard and by Tweety.ASPRule This class models a rule in ASP.ASPSolver This class provides a common interface for asp solvers.ASTAggregate ASTAggrElement ASTAggrElementList ASTAggrFunc ASTAnswerSet ASTAriTerm ASTArithop ASTBinop ASTBody ASTBodyList ASTBuiltInAtom ASTChoice ASTChoiceElement ASTChoiceElementList ASTClingoMeta ASTHead ASTHeadElementsList ASTID ASTLiteral ASTNAFLiteral ASTNAFLiteralList ASTNumber ASTOpt ASTOptElement ASTOptElementList ASTOptFunc ASTProgram ASTQuery ASTRule ASTRuleList ASTString ASTTerm ASTTermList ASTVar ASTWeight ClingoSolver Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.ClingoWriter Prints ASP programs and single rules to the Clingo input format (https://potassco.org/clingo/).ComparativeAtom This class represents a comparative atom, meaning an expression of the form t x u where t,u are terms and x is in {<, <=, ==, !=, >, >=}.DefaultNegation This class represents a default negated literal, i.e.DLVSolver Wrapper class for the DLV answer set solver command line utility.InstantiateVisitor This visitor iterates over the AST generated by ASPCore2Parser and allocates classes representing the different parts of an ASP program or source file, meaning rules, literals, terms, answer sets, etc.JJTASPCore2ParserState Node ParseException This exception is thrown when parse errors are encountered.PmInconsistencyMeasure This class implements the inconsistency measure $I_\pm$ from [Ulbricht, Thimm, Brewka.Program This class models an ASP-Core-2 program, meaning a set of rules and optionally a query.SdInconsistencyMeasure This class implements the inconsistency measure $I_sd$ from [Ulbricht, Thimm, Brewka.SimpleCharStream An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).SimpleNode SolverException This class models a generic exception for ASP solvers.StrictNegation This class models the strict negation of an atom (as apposed to a NAF negation:DefaultNegation).Token Describes the input token stream.TokenMgrError Token Manager Error.