| Modifier and Type | Class and Description |
|---|---|
class |
GroundProgram |
| Modifier and Type | Method and Description |
|---|---|
Program |
GroundProgram.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.
|
| Constructor and Description |
|---|
GroundProgram(Program program) |
Copyright © 2013-2014. All Rights Reserved.