amplify.LogicPoly

class LogicPoly

no docstring

__init__(*args, **kwargs)

Overloaded function.

  1. __init__(self: amplify.LogicPoly, arg0: amplify.LogicPoly) -> None

no docstring

  1. __init__(self: amplify.LogicPoly, arg0: bool) -> None

  2. __init__(self: amplify.LogicPoly, arg0: int) -> None

Methods

__init__(*args, **kwargs)

Overloaded function.

change_variables(*args, **kwargs)

Overloaded function.

count(self)

no docstring

is_bool(self)

no docstring

max_index(self)

no docstring

replace(self, arg0, int])

no docstring

replace_all(*args, **kwargs)

Overloaded function.

to_Poly(self)

no docstring

change_variables(*args, **kwargs)

Overloaded function.

  1. change_variables(self: amplify.LogicPoly, arg0: Dict[int, int]) -> amplify.LogicPoly

no docstring

  1. change_variables(self: amplify.LogicPoly, arg0: List[int]) -> amplify.LogicPoly

  2. change_variables(self: amplify.LogicPoly, arg0: function) -> amplify.LogicPoly

count(self: amplify.LogicPoly)int

no docstring

is_bool(self: amplify.LogicPoly)bool

no docstring

max_index(self: amplify.LogicPoly)int

no docstring

replace(self: amplify.LogicPoly, arg0: Dict[int, int])amplify.BinaryIntPoly

no docstring

replace_all(*args, **kwargs)

Overloaded function.

  1. replace_all(self: amplify.LogicPoly, arg0: List[int]) -> int

no docstring

  1. replace_all(self: amplify.LogicPoly, arg0: Dict[int, int]) -> int

  2. replace_all(self: amplify.LogicPoly, arg0: function) -> int

to_Poly(self: amplify.LogicPoly)amplify.BinaryIntPoly

no docstring