Uses of Class
org.bomba_lang.proto.GroundProgram

Uses of GroundProgram in org.bomba_lang.proto

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

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