Platforms to show: All Mac Windows Linux Cross-Platform
Back to LGLMBS class.
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
If a literal was not frozen at the last call to Sat (or Simp) it becomes 'unusable' after the next call even though it might not have been used as blocking literal etc.
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
May output messages to stdout.
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 21.3 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
May output messages to stdout.
The work is performed on a preemptive thread, so this function does not block the application and can yield time to other Xojo threads. Must be called in a Xojo thread to enjoy benefits. If called in main thread will block, but keep other background threads running.
LGLMBS.SetAPITraceFile(File as FolderItem)
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Logs API calls to the library.
LGLMBS.SetID(tid as Integer, tids as Integer)
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
LGLMBS.SetImportant(lit as integer)
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
LGLMBS.SetOutputFile(File as FolderItem)
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Sets output file for report.
LGLMBS.SetPhase(lit as integer)
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Any decision on this literal will always try this phase. Note, that this function does not have any effect on eliminated variables. Further equivalent variables share the same forced phase and thus if they are set to different default phases, only the last set operation will be kept.
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Assume the solver is in the SATISFIABLE state (after Sat or Simp), then calling SetPhases will copy the current assignment as default phases.
LGLMBS.SetTraceFile(File as FolderItem)
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Set trace output file.
Logs trace calls to the library.
LGLMBS.Simp(iterations as integer) as Integer
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Iterations must be >= 0.
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
Internally calls TraverseUnits, TraverseEquivalences and TraverseRemainingClauses.
See also:
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
See also:
LGLMBS.TraverseRemainingClauses
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
See also:
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
See also:
LGLMBS.Unclone(Child as LGLMBS) as Integer
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
LGLMBS.Usable(lit as Integer) as Integer
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
method | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ✅ Yes | All |
If a literal was not frozen at the last call to Sat (or Simp) it becomes 'unusable' after the next call even though it might not have been used as blocking literal etc.
The items on this page are in the following plugins: MBS Tools Plugin.