Package | Description |
---|---|
comingle.facts | |
comingle.goals | |
comingle.nodes | |
comingle.rewrite | |
comingle.store |
Modifier and Type | Class and Description |
---|---|
class |
SerializedFact |
Modifier and Type | Method and Description |
---|---|
boolean |
Fact.equals(Fact f) |
Modifier and Type | Class and Description |
---|---|
class |
Goals<F extends Fact> |
class |
ListGoals<F extends Fact> |
class |
OrderedGoals<F extends Fact> |
Modifier and Type | Method and Description |
---|---|
<F extends Fact> |
SendBuffers.add(F fact) |
<F extends Fact> |
SendBuffers.add(java.util.List<F> facts) |
Modifier and Type | Method and Description |
---|---|
<F extends Fact> |
RewriteMachine.introGoal(F fact) |
<F extends Fact> |
RewriteMachine.introLocalGoal(F fact) |
Modifier and Type | Method and Description |
---|---|
Goals<Fact> |
RewriteMachine.getGoals() |
Modifier and Type | Method and Description |
---|---|
void |
RewriteMachine.add_new_goal(Fact f) |
Modifier and Type | Class and Description |
---|---|
class |
ConcListStore<F extends Fact> |
class |
ConcListStoreIter<F extends Fact> |
class |
ConcMultiMapStore<F extends Fact> |
class |
ListStore<F extends Fact> |
class |
ListStoreIter<F extends Fact> |
class |
MultiMapStore<F extends Fact> |
class |
Store<F extends Fact> |
interface |
StoreIter<F extends Fact> |