Uses of Interface
org.bomba_lang.proto.Solver

Uses of Solver in org.bomba_lang.proto

Classes in org.bomba_lang.proto that implement Solver

Modifier and Type	Class and Description
class	NaiveSolver Reference solver implementation.

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

Modifier and Type	Method and Description
void	SolverSpec.groundSolver(Solver solver)

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

Modifier and Type	Method and Description
scala.collection.immutable.Set<scala.collection.immutable.Set<Literal>>	Program.solve(scala.Function0<Solver> solverGen)
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>>	Program.solve(scala.collection.Seq<Rule> mergedRule, scala.Function0<Solver> solverGen) Same as above, but for rules (TODO: allow implicit into program?)