Platforms to show: All Mac Windows Linux Cross-Platform

Back to LGLMBS class.

LGLMBS.Aborted

Type Topic Plugin Version macOS Windows Linux iOS Targets
event SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ❌ No
The event called when processing is aborted due to an error.

Errors are printed to stdout.
See AbortMessage property for the message.

See also:

LGLMBS.TraverseAllClauses(Lit as Integer)

Type Topic Plugin Version macOS Windows Linux iOS Targets
event SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ❌ No
The event called for TraverseAllClauses method.

See also:

LGLMBS.TraverseEquivalences(Lit as Integer, Representation as Integer)

Type Topic Plugin Version macOS Windows Linux iOS Targets
event SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ❌ No
The event called for TraverseEquivalences method.

See also:

LGLMBS.TraverseRemainingClauses(Lit as Integer)

Type Topic Plugin Version macOS Windows Linux iOS Targets
event SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ❌ No
The event called for TraverseRemainingClauses method.

See also:

LGLMBS.TraverseUnits(Unit as Integer)

Type Topic Plugin Version macOS Windows Linux iOS Targets
event SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ❌ No
The event called for TraverseUnits method.

See also:

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


The biggest plugin in space...