Uses of Class
org.bomba_lang.proto.Program

Uses of Program in org.bomba_lang.proto

Subclasses of Program in org.bomba_lang.proto

Modifier and Type	Class and Description
class	GroundProgram

Methods in org.bomba_lang.proto that return Program

Modifier and Type	Method and Description
Program	GroundProgram.program()

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

Modifier and Type	Method and Description
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.

Constructors in org.bomba_lang.proto with parameters of type Program

Constructor and Description
GroundProgram(Program program)