SemOpt
0.2alpha2-SCC
|
Class representing a single labelling assignment. More...
Public Member Functions | |
Labelling () | |
Constructor. | |
void | add_label (Argument *, Label) |
Add a new label to this set of labelling. | |
bool | exists_argument_labelling (Argument *) |
Check whether an argument is in this labelling or not. | |
Label | get_label (Argument *) |
Returns the label of a given argument. | |
SetArguments * | inargs () |
Returns the set of arguments labelled as in | |
SetArguments * | outargs () |
Returns the set of arguments labelled as out | |
SetArguments * | undecargs () |
Returns the set of arguments labelled as undec | |
bool | empty () |
Check whether or not this labelling is empty. | |
void | clone (Labelling *) |
Clone this labelling into a new one. |
Static Public Attributes | |
static const Label | lab_in = "in" |
Label representing an in argument. | |
static const Label | lab_out = "out" |
Label representing an out argument. | |
static const Label | lab_undec = "undec" |
Label representing an undec argument. |
Class representing a single labelling assignment.
Definition at line 14 of file Labelling.h.
void Labelling::add_label | ( | Argument * | arg, |
Label | l | ||
) |
Add a new label to this set of labelling.
[in] | arg | The argument to which this labelling applies |
[in] | l | The label. Valid values for are: |
Definition at line 49 of file Labelling.cpp.
References SetArguments::add_Argument(), lab_in, lab_out, and lab_undec.
Referenced by clone().
void Labelling::clone | ( | Labelling * | other | ) |
Clone this labelling into a new one.
[out] | other | A pointer to a Labelling which will be the clone of this one |
void |
Definition at line 121 of file Labelling.cpp.
References add_label().
bool Labelling::empty | ( | ) |
Check whether or not this labelling is empty.
bool |
Definition at line 111 of file Labelling.cpp.
References SetArguments::empty().
bool Labelling::exists_argument_labelling | ( | Argument * | arg | ) |
Check whether an argument is in this labelling or not.
[in] | arg | A pointer to an Argument |
bool |
Definition at line 65 of file Labelling.cpp.
Label Labelling::get_label | ( | Argument * | arg | ) |
Returns the label of a given argument.
[in] | arg | A pointer to an argument |
Label |
Definition at line 75 of file Labelling.cpp.
SetArguments * Labelling::inargs | ( | ) |
Returns the set of arguments labelled as in
SetArguments | * |
Definition at line 84 of file Labelling.cpp.
SetArguments * Labelling::outargs | ( | ) |
Returns the set of arguments labelled as out
SetArguments | * |
Definition at line 93 of file Labelling.cpp.
SetArguments * Labelling::undecargs | ( | ) |
Returns the set of arguments labelled as undec
SetArguments | * |
Definition at line 102 of file Labelling.cpp.