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] |