Package | Description |
---|---|
comingle.facts | |
comingle.nodes | |
comingle.rewrite |
Modifier and Type | Method and Description |
---|---|
SerializedFact |
Fact.serialize() |
SerializedFact |
SerializedFact.serialize() |
Modifier and Type | Method and Description |
---|---|
abstract void |
SendListener.performSendAction(java.lang.String host,
java.util.List<SerializedFact> fact) |
Modifier and Type | Method and Description |
---|---|
java.util.LinkedList<SerializedFact> |
RewriteMachine.getExternalGoals() |
Modifier and Type | Method and Description |
---|---|
void |
RewriteMachine.addExternalGoal(SerializedFact new_goal) |
Modifier and Type | Method and Description |
---|---|
void |
RewriteMachine.addExternalGoals(java.util.List<SerializedFact> new_goals) |