|
| ||||||||||||||||
A term is an atomic policy unit which may be executed.
| TermInstr (const string& name, vector<Instruction*>* instr)
| TermInstr |
Parameters:
| name | term name. |
| instr | list of instructions of this term. Caller must not delete. |
| ~TermInstr ()
| ~TermInstr |
| vector<Instruction*>& instructions ()
| instructions |
Returns: the instructions of this term. Caller must not delete.
| const string& name ()
| name |
Returns: name of the term
