Uses of Class
org.smtlib.Utils.SMTLIBException

Packages that use Utils.SMTLIBException

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.

Uses of Utils.SMTLIBException in org.smtlib

Methods in org.smtlib that throw Utils.SMTLIBException

Modifier and Type	Method	Description
ILogic	Utils.findLogic(String name, IPos pos)	Reads a logic file, parses it, validates the name, and checks the version.
ITheory	Utils.findTheory(String name, String path)	Reads a theory file, returning the S-expression that it holds.