Fact(String p, int id) | Fact | [inline] |
Fact(AtomicFormula prop, int id) | Fact | [inline] |
getId() | Fact | [inline] |
getLevel() | Fact | [inline] |
id | Fact | [private] |
level | Fact | [private] |
serialVersionUID | Fact | [private, static] |
setId(int id) | Fact | [inline] |
setLevel(int level) | Fact | [inline] |