public class ChoicePoint extends Object implements Operation
int
clauseNumber
TermList
goal
ChoicePoint(int clauseNumber, TermList goal)
String
toString()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public int clauseNumber
public TermList goal
public ChoicePoint(int clauseNumber, TermList goal)
public final String toString()
toString
Object
Copyright © 2014 Intersult GmbH. All rights reserved.