Platforms to show: All Mac Windows Linux Cross-Platform

Back to LGLMBS class.

LGLMBS.Aborted as Boolean

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
The aborted status.

We set this to true when the processing is aborted due to an error.
See AbortMessage property for the message.
(Read and Write property)

See also:

LGLMBS.Bytes as Int64

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Queries current size in bytes.

(Read only property)

LGLMBS.Changed as Integer

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Model changed.

(Read only property)

LGLMBS.Confs as Int64

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Queries number of conflicts.

(Read only property)

LGLMBS.Decs as Int64

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Queries number of decisions.

(Read only property)

LGLMBS.Handle as Integer

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
The internal object reference.

(Read only property)

LGLMBS.Inconsistent as Boolean

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Contains empty clause?

(Read only property)

LGLMBS.MaxMegaBytes as Double

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Maximum memory usage in megabytes.

(Read only property)

LGLMBS.MaxVar as Integer

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Queries maximum index of variables.

(Read only property)

Some examples using this property:

LGLMBS.MegaBytes as Double

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Queries current size in memory as megabytes.

(Read only property)

LGLMBS.Options as Dictionary

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Queries all options with values.

(Read only property)

LGLMBS.Prefix as String

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
The prefix for messages.

(Read and Write property)

LGLMBS.Props as Int64

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Queries number of propagations.

(Read only property)

LGLMBS.Seconds as Double

Type Topic Plugin Version macOS Windows Linux iOS Targets
property SATSolver MBS Tools Plugin 20.0 ✅ Yes ✅ Yes ✅ Yes ✅ Yes All
Returns time needed.

(Read only property)

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


The biggest plugin in space...