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
SATSolver
The class for SAT Solver, a solver to the boolean satisfiability problem
- Classes
- class LGLAbortedExceptionMBS
- class LGLMBS
- 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
- shared method LibVersion as String
- 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)
- shared method PrintBanner(Name as String, Prefix as String, 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
- property Aborted as Boolean
- shared property AbortMessage as String
- 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
- shared property ProcessTime as Double
- property Props as Int64
- property Seconds as Double
- property Option(Name as String) as Integer
- 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)
- Blog Entries
Release notes
- Version 21.3
- Version 20.0
- Added LGLMBS class with SAT Solver.
The items on this page are in the following plugins: MBS Tools Plugin.