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
- MBS Plugins on Xojo Cloud
- News from the MBS Xojo Plugins Version 21.3
- MonkeyBread Software Releases the MBS Xojo Plugins in version 21.3
- MBS Xojo Plugins, version 21.3pr6
- New in the MBS Xojo Plugins 20.0
- MonkeyBread Software Releases the MBS Xojo Plugins in version 20.0
- MBS Xojo Plugins, version 19.6pr2
Videos
Xojo Developer Magazine
