Uses of Class
org.bomba_lang.proto.Literal

Uses of Literal in org.bomba_lang.proto

Methods in org.bomba_lang.proto that return Literal

Modifier and Type	Method and Description
Literal	Literal.apply(scala.collection.Seq<Object> terms)
Literal	Literal.ground(scala.collection.immutable.Map<Object,Object> variables, scala.collection.immutable.List<Object> assignment) Grounds the given literal.
Literal	ProgSpec.testAtom()

Methods in org.bomba_lang.proto that return types with arguments of type Literal

Modifier and Type	Method and Description
scala.collection.immutable.Set<Literal>	Rule.body()
scala.collection.immutable.Set<Literal>	Literal.getHead() Note: this is the same result as for getPosAtoms, take care when composing new rule syntax!
scala.collection.immutable.Set<Literal>	Implicative.getHead() All atoms in the head of this rule element.
scala.collection.immutable.Set<Literal>	Rule.getHead()
scala.collection.immutable.Set<Literal>	Literal.getNegAtoms()
scala.collection.immutable.Set<Literal>	Rule.getNegAtoms()
scala.collection.immutable.Set<Literal>	AtomContainer.getNegAtoms()
scala.collection.immutable.Set<Literal>	Literal.getPosAtoms()
scala.collection.immutable.Set<Literal>	Rule.getPosAtoms()
scala.collection.immutable.Set<Literal>	AtomContainer.getPosAtoms()
scala.collection.immutable.Set<Literal>	Rule.head()
scala.collection.immutable.Set<Literal>	Rule.negBody()
scala.collection.immutable.Set<Literal>	Rule.posBody()
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	Program.solve(scala.Function0<Solver> solverGen)
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	Solver.solve(GroundProgram p)
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	NaiveSolver.solve(GroundProgram p)
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	Solver.solve(Program p)
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	Program.solve(Program mergedProgram, scala.Function0<Solver> solverGen) Allows for adding program snippets and data, idiomatic to interaction with "normal" code.
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?)

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

Modifier and Type	Method and Description
Rule	Conjunctive.and(Literal other) Helper method for and operation variants.
protected org.bomba_lang.proto.BodilesRule	Literal.or(Literal otherAtom)
org.bomba_lang.proto.BodilesRule	DisjunctiveImplicative.or(Literal newAtom) Parent method for head composition.
org.bomba_lang.proto.BodilesRule	DisjunctiveImplicative.v(Literal newAtom)

Method parameters in org.bomba_lang.proto with type arguments of type Literal

Modifier and Type	Method and Description
boolean	Rule.applicable(scala.collection.immutable.Set<Literal> i)
boolean	Rule.applied(scala.collection.immutable.Set<Literal> i)
boolean	Validating.modelOf(scala.collection.immutable.Set<Literal> i)
boolean	Literal.modelOf(scala.collection.immutable.Set<Literal> i)
boolean	Program.modelOf(scala.collection.immutable.Set<Literal> i)
boolean	Rule.modelOf(scala.collection.immutable.Set<Literal> i)

Constructor parameters in org.bomba_lang.proto with type arguments of type Literal

Constructor and Description
Rule(scala.collection.immutable.Set<Literal> head, scala.collection.Seq<AtomContainer> body)
Rule(scala.collection.immutable.Set<Literal> head, scala.collection.immutable.Set<Literal> posBody, scala.collection.immutable.Set<Literal> negBody)
Rule(scala.collection.immutable.Set<Literal> head, scala.collection.immutable.Set<Literal> posBody, scala.collection.immutable.Set<Literal> negBody)
Rule(scala.collection.immutable.Set<Literal> head, scala.collection.immutable.Set<Literal> posBody, scala.collection.immutable.Set<Literal> negBody)