Package edu.udo.cs.ie.cowbots.logic

Package class diagram package edu.udo.cs.ie.cowbots.logic
logic package

See:
          Description

Interface Summary
ELPLiteral this interface models a logical literal used in extended logic programs.
 

Class Summary
AggregatePredicate private class to model aggregate predicates like "#times", "#max", etc
Alphabet this class models an alphabet, the set of all predicate symbols appearing in an extended logic program.
ArithmeticPredicate private class to model arithmetic expressions like "A = B + C".
ELP this class models an extended logic program. it consists of a set of rules (and fact and constraints).
ELPAtom this class models an atom, a common element for building literals and rules in extended logic programs.
ELPRule this class models a rule used in extended logics programs.
IntPredicate private class to model special build-in dlv predicates like #int
KCausationRule  
KDeclaration This class models declarations used within a K-program, which are the fluent and the action declarations.
KExCondition Models K Executability Conditions
KProgram This class models a K-program which is needed as an input for the DLV-Component for planning.
KRule  
Meta meta information class. meta informations provide an order over extended logic programs.
NegLiteral class for strict negated literals
NotLiteral class for default negated literals
RelationPredicate private class to model arithmetic expressions like "A > B".
SymbolicSet this class represents a symbolic set, which is a set of local variables over a set of literals.
 

Package edu.udo.cs.ie.cowbots.logic Description

logic package