Package | Description |
---|---|
alice.tuprolog |
Modifier and Type | Method and Description |
---|---|
ChoicePointContext |
ChoicePointStore.fetch()
Return the correct choice-point
|
ChoicePointContext |
ChoicePointStore.getPointer()
Return the actual choice-point store
|
Modifier and Type | Method and Description |
---|---|
void |
ChoicePointStore.add(ChoicePointContext cpc) |
void |
ChoicePointStore.cut(ChoicePointContext pointerAfterCut) |
Copyright © 2015. All rights reserved.