SemOpt
$Revision:83+[c2a47fa11ed3+]$
|
Class for the preferred semantics for an AF. More...
Public Member Functions | |
PreferredSemantics (AF *the_af, int enc) | |
void | compute_depht_first () |
This is the function that in TAFA-13 is described by Algorithm 1. | |
void | compute () |
Computing semantics extensions. | |
![]() | |
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 preferred semantics for an AF.
Definition at line 13 of file PreferredSemantics.h.
PreferredSemantics::PreferredSemantics | ( | AF * | the_af, |
int | enc | ||
) |
Definition at line 25 of file PreferredSemantics.cpp.
void PreferredSemantics::compute_depht_first | ( | ) |
This is the function that in TAFA-13 is described by Algorithm 1.
This function has been rewritten for adhering to Algorithm 1 of TAFA-13, but the one used for the empirical evaluation in TAFA-13 was slightly different as it adopts some straightforward optimisations
Definition at line 70 of file PreferredSemantics.cpp.
References Semantics::af, SATFormulae::appendOrClause(), OrClause::appendVariable(), SetArguments::begin(), SetArguments::cardinality(), Semantics::cleanlabs(), SATFormulae::clone(), Labelling::clone(), debug, Labelling::empty(), SetArguments::end(), Argument::getName(), Labelling::inargs(), Semantics::labellings, AF::numArgs(), Labelling::outargs(), Semantics::sat_pigreek, Semantics::satlab(), and Labelling::undecargs().
Referenced by main().