cli package#

Submodules#

cli.CHECKCommand module#

class cli.CHECKCommand.CHECKCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.COMPACTCommand module#

class cli.COMPACTCommand.COMPACTCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the COMPACT algorithm on a graph. The graph is obtained from the current context. :return:

cli.ChakrabortyCommand module#

class cli.ChakrabortyCommand.ChakrabortyCommand[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.Command module#

class cli.Command.Command[source]#

Bases: ABC

Base class for commands.

A command can be initialized using command line arguments and executes.

abstract execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.CommandParser module#

class cli.CommandParser.CommandParser[source]#

Bases: object

static parse(raw_command: str)[source]#

Parses the given command. The command is split into tokens by a whitespace. The first token is the command name, upon which the correct command is called with the respective arguments. :param raw_command: A command in the format of one string. :return: Returns the command based on the first token in the given command string.

I/O commands: - log - read - write - draw

Synthesis commands: - bdd - robdd - sbdd - chakraborty - compact - path - klut - iso

Verification commands: - enum - check - xsat

Auxiliary commands: - eval - split - prune

cli.ContextManager module#

class cli.ContextManager.ContextManager[source]#

Bases: object

add_context(name: str, benchmark: BooleanFunctionCollection)[source]#
get_context(name: str | None = None) → BooleanFunctionCollection[source]#

cli.DDCommand module#

class cli.DDCommand.DDCommand(bdd_type: str, args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.DrawCommand module#

class cli.DrawCommand.DrawCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.EnumerationCommand module#

class cli.EnumerationCommand.EnumerationCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.EvalCommand module#

class cli.EvalCommand.EvalCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.ExitCommand module#

class cli.ExitCommand.ExitCommand[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.ISOCommand module#

class cli.ISOCommand.ISOCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.KLUTCommand module#

class cli.KLUTCommand.KLUTCommand(args)[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.LogCommand module#

class cli.LogCommand.LogCommand(args)[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.PATHCommand module#

class cli.PATHCommand.PATHCommand[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.Program module#

class cli.Program.Program[source]#

Bases: object

static execute(raw_command: str)[source]#

cli.PruneCommand module#

class cli.PruneCommand.PruneCommand[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.ReadCommand module#

class cli.ReadCommand.ReadCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.SplitCommand module#

class cli.SplitCommand.SplitCommand[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.WriteCommand module#

class cli.WriteCommand.WriteCommand(args)[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.XSATCommand module#

class cli.XSATCommand.XSATCommand(args: List[str])[source]#

Bases: Command

execute() → bool[source]#

Executes the command using the attributes of this command. Returns true if and only if the command halt the execution of the program. :return: True if and only if the program halts.

cli.main module#

cli.main.run()[source]#

Module contents#