LGLMBS.ParseFile(File as FolderItem, force as boolean = false) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file.

Returns empty text on success or error message from parser.

See also:

• ParseFile(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

LGLMBS.ParseFile(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file.

Returns empty text on success or error message from parser.

See also:

• ParseFile(File as FolderItem, force as boolean = false) as String

LGLMBS.ParseFileMT(File as FolderItem, force as boolean = false) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	21.3	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file.

Returns empty text on success or error message from parser.

The work is performed on a preemptive thread, so this function does not block the application and can yield time to other Xojo threads. Must be called in a Xojo thread to enjoy benefits. If called in main thread will block, but keep other background threads running.

See also:

• ParseFileMT(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

LGLMBS.ParseFileMT(File as FolderItem, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	21.3	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file.

Returns empty text on success or error message from parser.

The work is performed on a preemptive thread, so this function does not block the application and can yield time to other Xojo threads. Must be called in a Xojo thread to enjoy benefits. If called in main thread will block, but keep other background threads running.

See also:

• ParseFileMT(File as FolderItem, force as boolean = false) as String

LGLMBS.ParsePath(Path as String, force as boolean = false) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given by path.

Returns empty text on success or error message from parser.

On MacOS and Linux, if file has the following extensions, the file will be decompressed with command line tool and then parsed:

.gz	gzip
.xz	xz
.bz2	bzip2
.zip	unzip
.7z	7x

See also:

• ParsePath(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

LGLMBS.ParsePath(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given by path.

Returns empty text on success or error message from parser.

On MacOS and Linux, if file has the following extensions, the file will be decompressed with command line tool and then parsed:

.gz	gzip
.xz	xz
.bz2	bzip2
.zip	unzip
.7z	7x

See also:

• ParsePath(Path as String, force as boolean = false) as String

LGLMBS.ParsePathMT(Path as String, force as boolean = false) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	21.3	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given by path.

Returns empty text on success or error message from parser.

On MacOS and Linux, if file has the following extensions, the file will be decompressed with command line tool and then parsed:

.gz	gzip
.xz	xz
.bz2	bzip2
.zip	unzip
.7z	7x

The work is performed on a preemptive thread, so this function does not block the application and can yield time to other Xojo threads. Must be called in a Xojo thread to enjoy benefits. If called in main thread will block, but keep other background threads running.

See also:

• ParsePathMT(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

LGLMBS.ParsePathMT(Path as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	21.3	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given by path.

Returns empty text on success or error message from parser.

On MacOS and Linux, if file has the following extensions, the file will be decompressed with command line tool and then parsed:

.gz	gzip
.xz	xz
.bz2	bzip2
.zip	unzip
.7z	7x

The work is performed on a preemptive thread, so this function does not block the application and can yield time to other Xojo threads. Must be called in a Xojo thread to enjoy benefits. If called in main thread will block, but keep other background threads running.

See also:

• ParsePathMT(Path as String, force as boolean = false) as String

LGLMBS.ParseString(Data as String, force as boolean = false) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given it as text.

Returns empty text on success or error message from parser.
Please pass text with data separated with unix line endings (endofline.unix), so you may need to use ReplaceLineEndings function.

See also:

• ParseString(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

LGLMBS.ParseString(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given it as text.

Returns empty text on success or error message from parser.
Please pass text with data separated with unix line endings (endofline.unix), so you may need to use ReplaceLineEndings function.

See also:

• ParseString(Data as String, force as boolean = false) as String

LGLMBS.ParseStringMT(Data as String, force as boolean = false) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	21.3	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given it as text.

Returns empty text on success or error message from parser.
Please pass text with data separated with unix line endings (endofline.unix), so you may need to use ReplaceLineEndings function.

The work is performed on a preemptive thread, so this function does not block the application and can yield time to other Xojo threads. Must be called in a Xojo thread to enjoy benefits. If called in main thread will block, but keep other background threads running.

See also:

• ParseStringMT(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

LGLMBS.ParseStringMT(Data as String, force as boolean, byref LineNo as Integer, byref Max as Integer) as String

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	21.3	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Parses data file given it as text.

Returns empty text on success or error message from parser.
Please pass text with data separated with unix line endings (endofline.unix), so you may need to use ReplaceLineEndings function.

The work is performed on a preemptive thread, so this function does not block the application and can yield time to other Xojo threads. Must be called in a Xojo thread to enjoy benefits. If called in main thread will block, but keep other background threads running.

See also:

• ParseStringMT(Data as String, force as boolean = false) as String

LGLMBS.Print(File as FolderItem = nil)

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Print system to file or stdout.

Pass nil to use stdout.
Remaining in DIMACS format

LGLMBS.PrintAll(File as FolderItem = nil)

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Prints all values.

Including units & equivs.
Pass nil to use stdout.

Some examples using this method:

• /Tools/SATSolver/Test LGL

LGLMBS.PrintOptions(prefix as string, IgnoreSome as boolean)

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Print all options to stdout.

LGLMBS.PrintPCS(mixed as boolean)

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Prints PCS file.

LGLMBS.PrintRangeOptions

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Print range options to stdout.

LGLMBS.PrintSizes

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Prints data structure sizes.

LGLMBS.PrintStats

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Prints statistics to stdout.

LGLMBS.PrintUsage

Type	Topic	Plugin	Version	macOS	Windows	Linux	iOS	Targets
method	SATSolver	MBS Tools Plugin	20.0	✅ Yes	✅ Yes	✅ Yes	✅ Yes	All

Print usage "-h".