Platforms to show: All Mac Windows Linux Cross-Platform
Back to LGLMBS class.
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.