The plugin part SATSolver
Online Documentation - Statistics - FAQ - Plugin Parts (All, Dependencies) - Class hierarchy
New in Version
22.2
22.3
22.4
22.5
23.0
23.1
23.2
23.3
23.4
23.5
24.0
24.1
The list of the topics,
classes,
interfaces,
controls,
modules,
global methods by category,
global methods by name,
screenshots,
licenses
and examples.
Platforms to show: All Mac Windows Linux Cross-Platform
The plugin part MBS Tools Plugin:SATSolver:
All Console safe,
87 entry points.
- class LGLAbortedExceptionMBS
- class LGLMBS
- method Clone as LGLMBS
- method Fork as LGLMBS
- method Constructor
- method SetPhases
- method SetPhase(lit as integer)
- method ResetPhase(lit as integer)
- method Sat as Integer
- method SatMT as Integer
- method Simp(iterations as integer) as Integer
- method PrintUsage
- method PrintOptions(prefix as string, IgnoreSome as boolean)
- method PrintRangeOptions
- method PrintPCS(mixed as boolean)
- method PrintSizes
- method SetImportant(lit as integer)
- method SetAPITraceFile(File as FolderItem)
- method SetTraceFile(File as FolderItem)
- method SetOutputFile(File as FolderItem)
- method HasOption(Name as String) as Boolean
- method DefaultOption(Name as String) as Integer
- method ReadOptionFile(File as FolderItem) as Integer
- method GetOptionMinMax(Name as String, byref min as Integer, byref max as Integer) as Integer
- method SetID(tid as Integer, tids as Integer)
- method Join(Child as LGLMBS) as Integer
- method Unclone(Child as LGLMBS) as Integer
- method ParseString(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParseFile(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParsePath(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParseString(Data as String, force as boolean = false) as String
- method ParseFile(File as FolderItem, force as boolean = false) as String
- method ParsePath(Path as String, force as boolean = false) as String
- method ParseStringMT(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParseFileMT(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParsePathMT(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParseStringMT(Data as String, force as boolean = false) as String
- method ParseFileMT(File as FolderItem, force as boolean = false) as String
- method ParsePathMT(Path as String, force as boolean = false) as String
- method ReduceCache
- method FlushCache
- method PrintStats
- method FlushTimers
- method Freeze(lit as Integer)
- method Frozen(lit as Integer) as Integer
- method Melt(lit as Integer)
- method MeltAll
- method Usable(lit as Integer) as Integer
- method Reusable(lit as Integer) as Integer
- method Reuse(lit as Integer)
- method Lookahead as Integer
- method Representative(lit as Integer) as Integer
- method Failed(lit as Integer) as Integer
- method Deref(lit as Integer) as Integer
- method Fixed(lit as Integer) as Integer
- method Add(lit as Integer)
- method Assume(lit as Integer)
- method CAssume(lit as Integer)
- method Fixate
- method IncVar as Integer
- method Print(File as FolderItem = nil)
- method PrintAll(File as FolderItem = nil)
- method Reconstk(byref Start as Ptr, byref Top as Ptr)
- method TraverseUnits
- method TraverseEquivalences
- method TraverseRemainingClauses
- method TraverseAllClauses
- property Option(Name as String) as Integer
- property Handle as Integer
- property Aborted as Boolean
- property Prefix as String
- property Options as Dictionary
- property Confs as Int64
- property Decs as Int64
- property Props as Int64
- property Bytes as Int64
- property MegaBytes as Double
- property MaxMegaBytes as Double
- property Seconds as Double
- property Inconsistent as Boolean
- property Changed as Integer
- property MaxVar as Integer
- shared method LibVersion as String
- shared method PrintBanner(Name as String, Prefix as String, File as FolderItem = nil)
- shared property ProcessTime as Double
- shared property AbortMessage as String
- event Aborted
- event TraverseUnits(Unit as Integer)
- event TraverseEquivalences(Lit as Integer, Representation as Integer)
- event TraverseRemainingClauses(Lit as Integer)
- event TraverseAllClauses(Lit as Integer)
Blog Entries
Videos
Xojo Developer Magazine