|
SugarTrace version 1.0.1 Core API Specification |
||||||||
PREV NEXT | FRAMES NO FRAMES |
Package sugartracer |
---|
Class sugartracer.TracerException extends Exception implements Serializable |
---|
serialVersionUID: 7941262341995432110L
Package sugartracer.sat4j |
---|
Class sugartracer.sat4j.Sat4j extends SatSolver implements Serializable |
---|
serialVersionUID: 5428504901632558767L
Serialized Fields |
---|
org.sat4j.specs.ISolver solver
|
SugarTrace version 1.0.1 Core API Specification |
||||||||
PREV NEXT | FRAMES NO FRAMES |