SemOpt
0.2alpha2-SCC
|
Class representing an Argument. More...
Public Member Functions | |
Argument (string, int, AF *) | |
Constructor. | |
string | getName () const |
Method returning the name of the argument. | |
int | getNumber () const |
Method returning the unique integer identifier of this argument. | |
AF * | get_af () |
Method returning the AF to which this argument belongs. | |
Variable | InVar () |
Method for determining a propositional variable representing that this argument should be labelled as IN | |
Variable | OutVar () |
Method for determining a propositional variable representing that this argument should be labelled as OUT | |
Variable | UndecVar () |
Method for determining a propositional variable representing that this argument should be labelled as UNDEC | |
Variable | NotInVar () |
Method for determining the negation of the propositional variable representing that this argument should be labelled as IN | |
Variable | NotOutVar () |
Method for determining the negation of the propositional variable representing that this argument should be labelled as OUT | |
Variable | NotUndecVar () |
Method for determining the negation of the propositional variable representing that this argument should be labelled as UNDEC | |
bool | operator== (const Argument &other) const |
Overloading of the == operator. | |
bool | operator!= (const Argument &other) const |
Overloading of the != operator. | |
void | add_attacks (Argument *) |
Method for adding an attacks originated from this argument. | |
void | add_attackers (Argument *) |
Method for adding an attacker. | |
SetArguments * | get_attacks () |
Method returning the set of attackers. | |
SetArguments * | get_attackers () |
Method returning the set of attacked arguments. |
Class representing an Argument.
Definition at line 30 of file Argument.h.
Argument::Argument | ( | string | name, |
int | num, | ||
AF * | theaf | ||
) |
Constructor.
[in] | name | The name of the argument. It must be unique |
[in] | num | A number identifying this argument. It must be unique |
[in] | theaf | The pointer to the Argumentation Framework to which this argument belongs |
Definition at line 17 of file Argument.cpp.
void Argument::add_attackers | ( | Argument * | arg | ) |
Method for adding an attacker.
[in] | arg |
void |
Definition at line 152 of file Argument.cpp.
References SetArguments::add_Argument().
void Argument::add_attacks | ( | Argument * | arg | ) |
Method for adding an attacks originated from this argument.
[in] | arg |
void |
Definition at line 142 of file Argument.cpp.
References SetArguments::add_Argument().
Referenced by AF::readFile().
AF * Argument::get_af | ( | ) |
Method returning the AF to which this argument belongs.
AF* |
Definition at line 179 of file Argument.cpp.
SetArguments * Argument::get_attackers | ( | ) |
Method returning the set of attacked arguments.
SetArguments* |
Definition at line 170 of file Argument.cpp.
SetArguments * Argument::get_attacks | ( | ) |
Method returning the set of attackers.
SetArguments* |
Definition at line 161 of file Argument.cpp.
string Argument::getName | ( | ) | const |
Method returning the name of the argument.
string |
Definition at line 35 of file Argument.cpp.
Referenced by SetArguments::add_Argument(), SetArguments::exists(), operator!=(), operator==(), and SetArguments::remove().
int Argument::getNumber | ( | ) | const |
Method returning the unique integer identifier of this argument.
int |
Definition at line 44 of file Argument.cpp.
Referenced by SetArguments::add_Argument(), operator!=(), and operator==().
Variable Argument::InVar | ( | ) |
Method for determining a propositional variable representing that this argument should be labelled as IN
Variable |
Definition at line 54 of file Argument.cpp.
Referenced by NotInVar().
Variable Argument::NotInVar | ( | ) |
Method for determining the negation of the propositional variable representing that this argument should be labelled as IN
Variable |
Definition at line 84 of file Argument.cpp.
References InVar().
Variable Argument::NotOutVar | ( | ) |
Method for determining the negation of the propositional variable representing that this argument should be labelled as OUT
Variable |
Definition at line 94 of file Argument.cpp.
References OutVar().
Variable Argument::NotUndecVar | ( | ) |
Method for determining the negation of the propositional variable representing that this argument should be labelled as UNDEC
Variable |
Definition at line 104 of file Argument.cpp.
References UndecVar().
bool Argument::operator!= | ( | const Argument & | other | ) | const |
Overloading of the != operator.
[in] | other | The other term of the comparison |
bool |
Definition at line 128 of file Argument.cpp.
References getName(), and getNumber().
bool Argument::operator== | ( | const Argument & | other | ) | const |
Overloading of the == operator.
[in] | other | The other term of the comparison |
bool |
Definition at line 114 of file Argument.cpp.
References getName(), and getNumber().
Variable Argument::OutVar | ( | ) |
Method for determining a propositional variable representing that this argument should be labelled as OUT
Variable |
Definition at line 64 of file Argument.cpp.
References AF::numArgs().
Referenced by NotOutVar().
Variable Argument::UndecVar | ( | ) |
Method for determining a propositional variable representing that this argument should be labelled as UNDEC
Variable |
Definition at line 74 of file Argument.cpp.
References AF::numArgs().
Referenced by NotUndecVar().