| actions | Plan | |
| add(AtomicFormula op_name, int k) | Plan | [inline] |
| EMPTY | Plan | [static] |
| equals(Object obj) | Plan | [inline] |
| FAILURE | Plan | [static] |
| get(int k) | Plan | [inline] |
| hashCode() | Plan | [inline] |
| iterator() | Plan | [inline] |
| layers() | Plan | [inline] |
| Plan() | Plan | [inline] |
| size | Plan | [private] |
| size() | Plan | [inline] |
| toString() | Plan | [inline] |