Gate Decorator BDD

class hal_py.gate_decorator_bdd
evaluate_bdd(bdd: hal_py.bdd, input_configuration: Dict[int, bool]) → bool

Creates a human-readable string for a bdd. :param bdd: The bdd to represent. :type bdd: hal_py.bdd :param bdd: Input configuration to evaluate. :type bdd: dict[int, bool] :returns: Evaluation of the configuration for the bdd: :rtype: bool

get_bdd(*args, **kwargs)

Overloaded function.

  1. get_bdd(self: hal_py.gate_decorator_bdd) -> Dict[str, hal_py.bdd]

Returns the dictionary of bdds for each output pin type.

Returns:A dictionary from (output pin) to (bdd).
Return type:dict[str, hal_py.bdd]
  1. get_bdd(self: hal_py.gate_decorator_bdd, input_pin_type_to_bdd_identifier: Dict[str, int]) -> Dict[str, hal_py.bdd]

Returns the dictionary of bdds for each output pin type with user-defined bdd variable identifiers.

Parameters:input_pin_type_to_bdd_identifier (dict[str, int]) – The specified variable identifiers.
Returns:A dictionary from (output pin) to (bdd).
Return type:dict[str, hal_py.bdd]
  1. get_bdd(self: hal_py.gate_decorator_bdd, input_pin_type_to_bdd_or_identifier: Dict[str, Tuple[hal_py.bdd, int]]) -> Dict[str, hal_py.bdd]

Returns the dictionary of bdds for each output pin type with user-defined bdd variable identifiers or identifiers for the input pin types.

Parameters:input_pin_type_to_bdd_or_identifier (dict[str, tuple(hal_py.bdd, int)]) – The specified variable identifiers or identifiers for the input pin types.
Returns:A dictionary from (output pin) to (bdd).
Return type:dict[str, hal_py.bdd]
  1. get_bdd(self: hal_py.gate_decorator_bdd, input_pin_type_to_bdd: Dict[str, hal_py.bdd]) -> Dict[str, hal_py.bdd]

Returns the map of bdds for each output pin type with user-defined bdd variable identifiers or identifiers for the input pin types.

Parameters:input_pin_type_to_bdd (dict[str, hal_py.bdd]) – The specified variables or identifiers for the input pin types.
Returns:A dictionary from (output pin) to (bdd).
Return type:dict[str, hal_py.bdd]
get_bdd_clauses(bdd: hal_py.bdd) → List[Dict[int, bool]]

Turn the bdd into a list of clauses.

Parameters:bdd (hal_py.bdd) – The bdd.
Returns:A list of dictionaries from input to boolean value.
Return type:list(dict[int,bool])
get_bdd_str(bdd: hal_py.bdd) → str

Creates a human-readable string for a bdd.

Parameters:bdd (hal_py.bdd) – The bdd to represent.
Returns:The string representation:
Return type:str
get_type(self: hal_py.gate_decorator_bdd) → hal_py.decorator_type

Get the type of the decorator.

Returns:The type.
Return type:int
is_contradiction(bdd: hal_py.bdd) → bool

Checks wether a bdd is always false.

Parameters:bdd (hal_py.bdd) – The bdd.
Returns:The result.
Return type:bool
is_tautology(bdd: hal_py.bdd) → bool

Checks wether a bdd is always true.

Parameters:bdd (hal_py.bdd) – The bdd.
Returns:The result.
Return type:bool
type

Get the type of the decorator.

Returns:The type.
Return type:int