| 
 | 
 | ||||||||||||||||
A policy instruction is a list of term instructions.
| PolicyInstr (const string& name, vector<TermInstr*>* terms) | PolicyInstr | 
Parameters:
| name | name of the policy. | 
| terms | terms of the policy. Caller must not delete terms. | 
| ~PolicyInstr () | ~PolicyInstr | 
| vector<TermInstr*>&  terms () | terms | 
Returns: terms of this policy. Caller must not delete terms.
| const string&  name () | name | 
Returns: name of the policy.