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

General class for a semantics for an AF. More...

Inheritance diagram for Semantics:
CompleteSemantics GroundedSemantics PreferredSemantics SemistableSemantics StableSemantics

Public Member Functions

 Semantics (AF *, int)
 Constructor for the Semantics.

Protected Member Functions

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

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

General class for a semantics for an AF.

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

Definition at line 16 of file Semantics.h.

Constructor & Destructor Documentation

Semantics::Semantics ( AF the_af,
int  enc 
)

Constructor for the Semantics.

Parameters
[in]the_afThe pointer to the object instance of AF which represents the argumentation framework
[in]encAn int representing the type of encoding desired according to the given table
encoding Chosen encodings according to TAFA-13
0 $C_1$
1 $C_2$
2 $C_3$
3 $C_1^a$
4 $C_1^b$
5 $C_1^c$

Definition at line 244 of file Semantics.cpp.

References af, complete_labelling_SAT_constraints(), encoding, labellings, and sat_pigreek.

Member Function Documentation

int Semantics::complete_labelling_SAT_constraints ( )
protected
bool Semantics::satlab ( SATFormulae  sat,
Labelling lab 
)
protected

Method for deriving a labelling from a SAT Formulae.

This method is a wrapper for a SAT Solver

Parameters
[in]satThe SATFormulae as input
[out]satThe computed Labelling
Return values
booltrue if a solution is found, false otherwise

Definition at line 177 of file Semantics.cpp.

References Labelling::add_label(), af, SetArguments::cardinality(), debug, AF::getArgumentByNumber(), Argument::getName(), Labelling::inargs(), Labelling::lab_in, Labelling::lab_out, Labelling::lab_undec, AF::numArgs(), Labelling::outargs(), SATFormulae::size(), SATFormulae::toSS(), and Labelling::undecargs().

Referenced by PreferredSemantics::compute_depht_first().

Member Data Documentation

int Semantics::encoding
protected

The chosen encoding.

See Also
Semantics::Semantics

Definition at line 20 of file Semantics.h.

Referenced by complete_labelling_SAT_constraints(), and Semantics().


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