Platforms to show: All Mac Windows Linux Cross-Platform

Back to LGLMBS class.

Previous items

LGLMBS.Reuse(lit as Integer)

Type Topic Plugin Version macOS Windows Linux iOS Targets
method SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Reuses an item.

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.

LGLMBS.Sat as Integer

Type Topic Plugin Version macOS Windows Linux iOS Targets
method SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Calculates the system.

May output messages to stdout.

LGLMBS.SatMT as Integer

Type Topic Plugin Version macOS Windows Linux iOS Targets
method SATSolver MBS Tools Plugin 21.3 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Calculates the system.

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
Creates a text file and let the library output to this file.

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
Set individual ids for logging and statistics.

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
Prefer decisions on 'important' variables.

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
Creates an output file and let the library output to this file.

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
Set default phase of a literal.

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.

LGLMBS.SetPhases

Type Topic Plugin Version macOS Windows Linux iOS Targets
method SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Sets the phases.

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
Creates a text file and let the library output to this file.

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
Calculates the system.

Iterations must be >= 0.

LGLMBS.TraverseAllClauses

Type Topic Plugin Version macOS Windows Linux iOS Targets
method SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Loops over all clauses and calls TraverseAllClauses event for each.

Internally calls TraverseUnits, TraverseEquivalences and TraverseRemainingClauses.

See also:

LGLMBS.TraverseEquivalences

Type Topic Plugin Version macOS Windows Linux iOS Targets
method SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Loops over equivalences and calls TraverseEquivalences event for each.

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
Loops over remaining clauses and calls TraverseRemainingClauses event for each.

See also:

LGLMBS.TraverseUnits

Type Topic Plugin Version macOS Windows Linux iOS Targets
method SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Loops over units and calls TraverseUnits event for each.

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
Unclones the object.

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
Checks whether an item is usable.

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.

Previous items

The items on this page are in the following plugins: MBS Tools Plugin.


The biggest plugin in space...