SemOpt
0.2alpha2-SCC
|
Class encompassing an Argumentation Framework. More...
Public Member Functions | |
AF () | |
Simple constructor. | |
bool | readFile (string file) |
Method for parsing a ASPARTIX compliant file. | |
int | numArgs () |
Returns the number of arguments. | |
Argument * | getArgumentByName (string) |
This method returns the pointer to the Argument whose name is given as parameter. | |
Argument * | getArgumentByNumber (int position) |
This method returns the pointer to the Argument whose identification number is given as parameter. | |
SetArguments * | get_arguments () const |
Returns a pointer to the set of arguments. | |
SetArgumentsIterator | begin () |
Begin of the iterator for the set of arguments. | |
SetArgumentsIterator | end () |
End of the iterator for the set of arguments. |
Class encompassing an Argumentation Framework.
SetArgumentsIterator AF::begin | ( | ) |
Begin of the iterator for the set of arguments.
SetArgumentsIterator | An iterator pointing at the first of the elements of the set of arguments |
Definition at line 119 of file AF.cpp.
References SetArguments::begin().
SetArgumentsIterator AF::end | ( | ) |
End of the iterator for the set of arguments.
SetArgumentsIterator | An iterator pointing at the last of the elements of the set of arguments |
Definition at line 128 of file AF.cpp.
References SetArguments::end().
SetArguments * AF::get_arguments | ( | ) | const |
Argument * AF::getArgumentByName | ( | string | name | ) |
This method returns the pointer to the Argument whose name is given as parameter.
[in] | name | The name of the argument |
Argument* | The pointer to the Argument object, or NULL if not found |
Definition at line 90 of file AF.cpp.
References SetArguments::getArgumentByName().
Referenced by readFile().
Argument * AF::getArgumentByNumber | ( | int | num | ) |
This method returns the pointer to the Argument whose identification number is given as parameter.
[in] | num | The name of the argument |
Argument* | The pointer to the Argument object, or NULL if not found |
Definition at line 110 of file AF.cpp.
References SetArguments::getArgumentByNumber().
int AF::numArgs | ( | ) |
Returns the number of arguments.
int |
Definition at line 99 of file AF.cpp.
References SetArguments::cardinality().
Referenced by Argument::OutVar(), readFile(), and Argument::UndecVar().
bool AF::readFile | ( | string | file | ) |
Method for parsing a ASPARTIX compliant file.
It uses part of the code from Samer Nofal's, University of Liverpool
[in] | file | A string representing the (relative/absolute) path to the ASPARTIX compliant file |
bool | It returns True if it can correctly parse the file, False otherwise |
Definition at line 35 of file AF.cpp.
References SetArguments::add_Argument(), Argument::add_attacks(), getArgumentByName(), and numArgs().