Platforms to show: All Mac Windows Linux Cross-Platform
LGLMBS class
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
class | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Based on lingeling project here:
https://github.com/arminbiere/lingeling
and
http://fmv.jku.at/lingeling/
- 5 events
- event Aborted
- event TraverseAllClauses(Lit as Integer)
- event TraverseEquivalences(Lit as Integer, Representation as Integer)
- event TraverseRemainingClauses(Lit as Integer)
- event TraverseUnits(Unit as Integer)
- 15 properties
- property Aborted as Boolean
- property Bytes as Int64
- property Changed as Integer
- property Confs as Int64
- property Decs as Int64
- property Handle as Integer
- property Inconsistent as Boolean
- property MaxMegaBytes as Double
- property MaxVar as Integer
- property MegaBytes as Double
- property Options as Dictionary
- property Prefix as String
- property Props as Int64
- property Seconds as Double
- property Option(Name as String) as Integer
- 2 shared properties
- shared property AbortMessage as String
- shared property ProcessTime as Double
- 65 methods
- method Add(lit as Integer)
- method Assume(lit as Integer)
- method CAssume(lit as Integer)
- method Clone as LGLMBS
- method Constructor
- method DefaultOption(Name as String) as Integer
- method Deref(lit as Integer) as Integer
- method Failed(lit as Integer) as Integer
- method Fixate
- method Fixed(lit as Integer) as Integer
- method FlushCache
- method FlushTimers
- method Fork as LGLMBS
- method Freeze(lit as Integer)
- method Frozen(lit as Integer) as Integer
- method GetOptionMinMax(Name as String, byref min as Integer, byref max as Integer) as Integer
- method HasOption(Name as String) as Boolean
- method IncVar as Integer
- method Join(Child as LGLMBS) as Integer
- method Lookahead as Integer
- method Melt(lit as Integer)
- method MeltAll
- method ParseFile(File as FolderItem, force as boolean = false) as String
- method ParseFile(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParseFileMT(File as FolderItem, force as boolean = false) as String
- method ParseFileMT(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParsePath(Path as String, force as boolean = false) as String
- method ParsePath(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method ParsePathMT(Path as String, force as boolean = false) as String
- method ParsePathMT(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 ParseString(Data 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 ParseStringMT(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String
- method Print(File as FolderItem = nil)
- method PrintAll(File as FolderItem = nil)
- method PrintOptions(prefix as string, IgnoreSome as boolean)
- method PrintPCS(mixed as boolean)
- method PrintRangeOptions
- method PrintSizes
- method PrintStats
- method PrintUsage
- method ReadOptionFile(File as FolderItem) as Integer
- method Reconstk(byref Start as Ptr, byref Top as Ptr)
- method ReduceCache
- method Representative(lit as Integer) as Integer
- method ResetPhase(lit as integer)
- method Reusable(lit as Integer) as Integer
- method Reuse(lit as Integer)
- method Sat as Integer
- method SatMT as Integer
- method SetAPITraceFile(File as FolderItem)
- method SetID(tid as Integer, tids as Integer)
- method SetImportant(lit as integer)
- method SetOutputFile(File as FolderItem)
- method SetPhase(lit as integer)
- method SetPhases
- method SetTraceFile(File as FolderItem)
- method Simp(iterations as integer) as Integer
- method TraverseAllClauses
- method TraverseEquivalences
- method TraverseRemainingClauses
- method TraverseUnits
- method Unclone(Child as LGLMBS) as Integer
- method Usable(lit as Integer) as Integer
- 2 shared methods
- shared method LibVersion as String
- shared method PrintBanner(Name as String, Prefix as String, File as FolderItem = nil)
- 3 constants
SAT Results
Constant | Value | Description |
---|---|---|
LGL_SATISFIABLE | 10 |
The system is satisfiable. |
LGL_UNKNOWN | 0 |
It is not known whether it is satisfiable. |
LGL_UNSATISFIABLE | 20 |
The system is not satisfiable. |
This class has no sub classes.
Blog Entries
- 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
Xojo Developer Magazine
Videos
Release notes
- Version 21.3
- Added ParseFileMT, ParsePathMT and ParseStringMT for LGLMBS class for better threading.
- Version 20.0
- Added LGLMBS class with SAT Solver.
Some examples using this class:
The items on this page are in the following plugins: MBS Tools Plugin.
LGLAbortedExceptionMBS - LibUSBConfigDescriptorMBS
