Platforms to show: All Mac Windows Linux Cross-Platform
Back to LGLMBS class.
Type | Topic | Plugin | Version | macOS | Windows | Linux | iOS | Targets |
event | SATSolver | MBS Tools Plugin | 20.0 | ✅ Yes | ✅ Yes | ✅ Yes | ❌ No |
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 |
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 |
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 |
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 |
See also:
The items on this page are in the following plugins: MBS Tools Plugin.