Platforms to show: All Mac Windows Linux Cross-Platform

Back to LGLMBS class.

Previous items

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.


💬 Ask a question or report a problem
The biggest plugin in space...