| Modifier and Type | Method and Description |
|---|---|
Rule |
Conjunctive.and(Literal other)
Helper method for
and operation variants. |
protected Rule |
Literal.and(Rule bodyRule) |
Rule |
Conjunctive.and(Rule bodyRule)
Parent method for rule -> new body elem append
|
protected Rule |
Rule.and(Rule bodyRule) |
Rule |
Implicative.implies(scala.collection.Seq<AtomContainer> body)
Parent method for head -> body append.
|
Rule |
ProgSpec.testNegRule() |
Rule |
ProgSpec.testPosRule() |
Rule |
Literal.v(Rule rule) |
| Modifier and Type | Method and Description |
|---|---|
scala.collection.Seq<Rule> |
Program.rules() |
scala.collection.Seq<scala.Tuple2<Rule,scala.collection.immutable.Set<scala.Symbol>>> |
Program.unsafeRuleVariablePairs() |
| Modifier and Type | Method and Description |
|---|---|
protected Rule |
Literal.and(Rule bodyRule) |
Rule |
Conjunctive.and(Rule bodyRule)
Parent method for rule -> new body elem append
|
protected Rule |
Rule.and(Rule bodyRule) |
Rule |
Literal.v(Rule rule) |
| Modifier and Type | Method and Description |
|---|---|
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> |
Solver.solve(scala.collection.Seq<Rule> r) |
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>> |
Program.solve(scala.collection.Seq<Rule> mergedRule,
scala.Function0<Solver> solverGen)
Same as above, but for rules (TODO: allow implicit into program?)
|
| Constructor and Description |
|---|
Program(scala.collection.Seq<Rule> rules) |
Copyright © 2013-2014. All Rights Reserved.