SemOpt  0.2alpha5-SCC
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
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
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