SemOpt
0.2alpha2-SCC
|
![]() ![]() | Class encompassing an Argumentation Framework |
![]() ![]() | Class representing an Argument |
![]() ![]() | Class representing a single labelling assignment |
![]() ![]() | Class encompassing a list of SAT variables (type Variable ) linked by or operators |
![]() ![]() | Class encompassing a list of OrClause linked by and operators |
![]() ![]() | Class encompassing a set of arguments |
![]() ![]() | Class defining a const iterator for the elements of a set of arguments |
![]() ![]() | Variable is defined easily as a typedef int Variable |