SemOpt  $Revision:83+[c2a47fa11ed3+]$
Class Hierarchy
This inheritance list is sorted roughly, but not completely, alphabetically:
[detail level 123]
oCAFClass encompassing an Argumentation Framework
oCArgumentClass representing an Argument
oCLabellingClass representing a single labelling assignment
oCOrClauseClass encompassing a list of SAT variables (type Variable) linked by or operators
oCSATFormulaeClass encompassing a list of OrClause linked by and operators
oCSemanticsGeneral class for a semantics for an AF
|\CCompleteSemanticsClass for the complete semantics
| oCGroundedSemanticsClass for the grounded semantics
| oCPreferredSemanticsClass for the preferred semantics for an AF
| oCSemistableSemanticsClass for the semi stable semantics
| \CStableSemanticsClass for the stable semantics
oCSetArgumentsClass encompassing a set of arguments
oCSetArgumentsIteratorClass defining a const iterator for the elements of a set of arguments
\CVariableVariable is defined easily as a typedef int Variable