Boolean Function Net Decorator

class hal_py.BooleanFunctionNetDecorator

__init__(self: hal_py.BooleanFunctionNetDecorator, net: hal_py.Net) → None

Construct new BooleanFunctionNetDecorator object.

Parameters

net (hal_py.Net) – The net to operate on.

get_boolean_variable(self: hal_py.BooleanFunctionNetDecorator) → hal_py.BooleanFunction

Generate a unique Boolean variable representing the given net.

Returns

The Boolean variable.

Return type

hal_py.BooleanFunction

get_boolean_variable_name(self: hal_py.BooleanFunctionNetDecorator) → str

Generate a unique Boolean variable name representing the given net.

Returns

The Boolean variable name.

Return type

str

static get_net_from(*args, **kwargs)

Overloaded function.

1. get_net_from(netlist: hal_py.Netlist, var: hal_py.BooleanFunction) -> hal_py.Net

   Get the net represented by a unique Boolean variable.

   param hal_py.Netlist netlist

   The netlist on which to operate.

   param hal_py.BooleanFunction var

   The Boolean variable.

   returns

   The specified net on success, None otherwise.

   rtype

   hal_py.Net or None

2. get_net_from(netlist: hal_py.Netlist, var_name: str) -> hal_py.Net

   Get the net represented by a unique Boolean variable name.

   param hal_py.Netlist netlist

   The netlist on which to operate.

   param str var_name

   The Boolean variable name.

   returns

   The specified net on success, None otherwise.

   rtype

   hal_py.Net or None