SemOpt  $Revision:83+[c2a47fa11ed3+]$
GroundedSemantics Class Reference

Class for the grounded semantics. More...

Inheritance diagram for GroundedSemantics:
CompleteSemantics Semantics

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.
- Public Member Functions inherited from CompleteSemantics
 CompleteSemantics (AF *the_af, int enc)
- Public Member Functions inherited from Semantics
 Semantics (AF *, int)
 Constructor for the Semantics.

Additional Inherited Members

- Protected Member Functions inherited from Semantics
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.
- Protected Attributes inherited from Semantics
AFaf
 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< Labellinglabellings
 Attribute that contains the computed extensions.

Detailed Description

Class for the grounded semantics.

Author
Federico Cerutti feder.nosp@m.ico..nosp@m.cerut.nosp@m.ti@a.nosp@m.cm.or.nosp@m.g

Definition at line 13 of file GroundedSemantics.h.

Constructor & Destructor Documentation

GroundedSemantics::GroundedSemantics ( AF the_af,
int  enc 
)
inline
See Also
CompleteSemantics::CompleteSemantics

Definition at line 21 of file GroundedSemantics.h.


The documentation for this class was generated from the following files: