public abstract class Fact
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
boolean |
alive
Liveness flag, set to true iff fact is still valid.
|
int |
loc |
int |
priority |
Constructor and Description |
---|
Fact(int loc) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(Fact f) |
int |
fact_idx() |
int |
get_loc() |
int |
identity() |
boolean |
is_alive() |
void |
runSideEffect() |
SerializedFact |
serialize() |
void |
set_dead() |
void |
set_priority(int p) |
public boolean alive
public int loc
public int priority
public void set_priority(int p)
public int get_loc()
public int fact_idx()
public boolean is_alive()
public void set_dead()
public int identity()
public boolean equals(Fact f)
public SerializedFact serialize()
public void runSideEffect()