LGLMBS class
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
LGLMBS class
- 5 events
- 15 properties
- 2 shared properties
- 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.
Some examples using this class:
Blog Entries
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.
The items on this page are in the following plugins: MBS Tools Plugin.
LGLAbortedExceptionMBS
-
LibUSBConfigDescriptorMBS