Uses of Interface
org.smtlib.ISort.IErrorDefinition

Packages that use ISort.IErrorDefinition

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.

Uses of ISort.IErrorDefinition in org.smtlib

Methods in org.smtlib that return ISort.IErrorDefinition

Modifier and Type	Method	Description
ISort.IErrorDefinition	ISort.IFactory.createErrorDefinition(IExpr.IIdentifier id, String errorMessage, IPos pos)	Creates an error-placeholder definition (suppresses cascading errors).

Uses of ISort.IErrorDefinition in org.smtlib.impl

Classes in org.smtlib.impl that implement ISort.IErrorDefinition

Modifier and Type	Class	Description
static class	Sort.ErrorDefinition	A placeholder sort definition used when a sort declaration is ill-formed, to suppress cascading errors.

Methods in org.smtlib.impl that return ISort.IErrorDefinition

Modifier and Type	Method	Description
ISort.IErrorDefinition	Factory.createErrorDefinition(IExpr.IIdentifier id, String errorMessage, IPos pos)