Package | Description |
---|---|
comingle.goals | |
comingle.rewrite |
Modifier and Type | Class and Description |
---|---|
class |
ListGoals<F extends Fact> |
class |
OrderedGoals<F extends Fact> |
Modifier and Type | Method and Description |
---|---|
Goals<Fact> |
RewriteMachine.getGoals() |