Package | Description |
---|---|
alice.tuprologx.runtime.corba |
Modifier and Type | Field and Description |
---|---|
SolveInfo |
SolveInfoHolder.value |
Modifier and Type | Method and Description |
---|---|
static SolveInfo |
SolveInfoHelper.extract(Any a) |
static SolveInfo |
SolveInfoHelper.read(InputStream istream) |
SolveInfo |
PrologOperations.solve(String g) |
SolveInfo |
PrologImpl.solve(String g) |
SolveInfo |
_PrologStub.solve(String g) |
SolveInfo |
PrologOperations.solveNext() |
SolveInfo |
PrologImpl.solveNext() |
SolveInfo |
_PrologStub.solveNext() |
Modifier and Type | Method and Description |
---|---|
static void |
SolveInfoHelper.insert(Any a,
SolveInfo that) |
static void |
SolveInfoHelper.write(OutputStream ostream,
SolveInfo value) |
Constructor and Description |
---|
SolveInfoHolder(SolveInfo initialValue) |
Copyright © 2015. All rights reserved.