Uses of Class
org.bomba_lang.proto.Rule

Uses of Rule in org.bomba_lang.proto

Methods in org.bomba_lang.proto that return Rule

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)

Methods in org.bomba_lang.proto that return types with arguments of type 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()

Methods in org.bomba_lang.proto with parameters of type Rule

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)

Method parameters in org.bomba_lang.proto with type arguments of type 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 parameters in org.bomba_lang.proto with type arguments of type Rule

Constructor and Description
Program(scala.collection.Seq<Rule> rules)