|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Package edu.isi.powerloom.logic |
---|
Class edu.isi.powerloom.logic.Clash extends LogicException implements Serializable |
---|
Serialized Fields |
---|
Proposition proposition
Context context
Class edu.isi.powerloom.logic.ExplainException extends LogicException implements Serializable |
---|
Class edu.isi.powerloom.logic.ExplainNoMoreSolutionsException extends ExplainException implements Serializable |
---|
Class edu.isi.powerloom.logic.ExplainNoQueryException extends ExplainException implements Serializable |
---|
Class edu.isi.powerloom.logic.ExplainNoSolutionException extends ExplainException implements Serializable |
---|
Class edu.isi.powerloom.logic.ExplainNoSuchLabelException extends ExplainException implements Serializable |
---|
Class edu.isi.powerloom.logic.ExplainNotEnabledException extends ExplainException implements Serializable |
---|
Class edu.isi.powerloom.logic.ExplainQueryTrueException extends ExplainException implements Serializable |
---|
Class edu.isi.powerloom.logic.FailException extends LogicException implements Serializable |
---|
Class edu.isi.powerloom.logic.IntervalClash extends Clash implements Serializable |
---|
Serialized Fields |
---|
LogicObject intervalMember
Stella_Object lowerBound
Stella_Object upperBound
boolean strictLowerBoundP
boolean strictUpperBoundP
Class edu.isi.powerloom.logic.LogicException extends StellaException implements Serializable |
---|
Class edu.isi.powerloom.logic.ObjectAlreadyExistsException extends StellaException implements Serializable |
---|
Serialized Fields |
---|
Stella_Object existingObject
Class edu.isi.powerloom.logic.ParsingError extends LogicException implements Serializable |
---|
Class edu.isi.powerloom.logic.PropositionError extends LogicException implements Serializable |
---|
Class edu.isi.powerloom.logic.QueryThreadLimitViolation extends LogicException implements Serializable |
---|
Class edu.isi.powerloom.logic.TermGenerationException extends LogicException implements Serializable |
---|
Serialized Fields |
---|
Stella_Object offendingTerm
Class edu.isi.powerloom.logic.TruthValueClash extends Clash implements Serializable |
---|
Class edu.isi.powerloom.logic.UnificationClash extends Clash implements Serializable |
---|
Serialized Fields |
---|
Stella_Object value1
Stella_Object value2
Class edu.isi.powerloom.logic.VariableValueClash extends Clash implements Serializable |
---|
Serialized Fields |
---|
Skolem skolem
Stella_Object value1
Stella_Object value2
Package edu.isi.stella |
---|
Class edu.isi.stella.BadArgumentException extends StellaException implements Serializable |
---|
Class edu.isi.stella.EndOfFileException extends InputOutputException implements Serializable |
---|
Class edu.isi.stella.EvaluationException extends StellaException implements Serializable |
---|
Class edu.isi.stella.FileAlreadyExistsException extends InputOutputException implements Serializable |
---|
Serialized Fields |
---|
java.lang.String filename
Class edu.isi.stella.IncompatibleQuantityException extends StellaException implements Serializable |
---|
Class edu.isi.stella.InputOutputException extends StellaException implements Serializable |
---|
Class edu.isi.stella.NoSuchContextException extends NoSuchObjectException implements Serializable |
---|
Class edu.isi.stella.NoSuchFileException extends InputOutputException implements Serializable |
---|
Serialized Fields |
---|
java.lang.String filename
Class edu.isi.stella.NoSuchObjectException extends StellaException implements Serializable |
---|
Class edu.isi.stella.ObjectNotClassException extends BadArgumentException implements Serializable |
---|
Class edu.isi.stella.ReadException extends InputOutputException implements Serializable |
---|
Class edu.isi.stella.StellaException extends java.lang.RuntimeException implements Serializable |
---|
Class edu.isi.stella.TimeoutException extends StellaException implements Serializable |
---|
Class edu.isi.stella.UndefinedClassException extends NoSuchObjectException implements Serializable |
---|
Class edu.isi.stella.UnhandledException extends StellaException implements Serializable |
---|
Package edu.isi.stella.utilities |
---|
Class edu.isi.stella.utilities.IncompatibleUnitsException extends IncompatibleQuantityException implements Serializable |
---|
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |