SemOpt
$Revision:83+[c2a47fa11ed3+]$
|
Class for the grounded semantics. More...
Public Member Functions | |
void | compute () |
Computing semantics extensions. | |
GroundedSemantics (AF *the_af, int enc) | |
void | compute_poly () |
Polynomial function for computing the grounded extension without using a NP-oracle. | |
![]() | |
CompleteSemantics (AF *the_af, int enc) | |
![]() | |
Semantics (AF *, int) | |
Constructor for the Semantics. |
Additional Inherited Members | |
![]() | |
int | complete_labelling_SAT_constraints () |
Method for filling in the attribute sat_pigreek. | |
bool | satlab (SATFormulae, Labelling *) |
Method for deriving a labelling from a SAT Formulae. | |
void | cleanlabs () |
Clean the labellings. | |
![]() | |
AF * | af |
The Argumentation Framework considered. | |
int | encoding |
The chosen encoding. | |
SATFormulae | sat_pigreek |
The Sat Formulae as described in TAFA-13 filled in by the constructor Semantics::Semantics. | |
vector< Labelling > | labellings |
Attribute that contains the computed extensions. |
Class for the grounded semantics.
Definition at line 13 of file GroundedSemantics.h.
|
inline |
Definition at line 21 of file GroundedSemantics.h.