Serialized Form

Package edu.isi.powerloom.logic

Class edu.isi.powerloom.logic.Clash extends LogicException implements Serializable

Serialized Fields

proposition

Proposition proposition

The main proposition involved in the clash

context

Context context

The context in which the clash occurred

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

intervalMember

LogicObject intervalMember

The owner of the interval cache that is unsatisfiable.

lowerBound

Stella_Object lowerBound

upperBound

Stella_Object upperBound

strictLowerBoundP

boolean strictLowerBoundP

strictUpperBoundP

boolean strictUpperBoundP

Class edu.isi.powerloom.logic.LogicException extends StellaException implements Serializable

Class edu.isi.powerloom.logic.ObjectAlreadyExistsException extends StellaException implements Serializable

Serialized Fields

existingObject

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

offendingTerm

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

value1

Stella_Object value1

First value in unification clash

value2

Stella_Object value2

Second value in unification clash

Class edu.isi.powerloom.logic.VariableValueClash extends Clash implements Serializable

Serialized Fields

skolem

Skolem skolem

Skolem which is getting multiple values.

value1

Stella_Object value1

First value in value clash

value2

Stella_Object value2

Second value in value clash

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

filename

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

filename

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