Index

_

__call__() (circkit.operation.Operation method) (circkit.operation.OperationMeta method) __eq__() (circkit.operation.Operation method) __hash__() (circkit.operation.Operation method) __init__() (circkit.bitwise.circuit.BitwiseCircuit method) (circkit.bitwise.ring.BitwiseRing method) (circkit.bitwise.ring.BitwiseRing.Word method) (circkit.bitwise.ring.Word method) (circkit.circuit.BaseCircuit.Node method) (circkit.circuit.Circuit method) (circkit.circuit.Circuit.Operations.INPUT method) (circkit.const_manager.ArithmeticConstManager method) (circkit.const_manager.BooleanConstManager method) (circkit.node.Node method) (circkit.operation.Operation method) (circkit.param.IntParam method)

__new__() (circkit.operation.OperationMeta static method) __reduce__() (circkit.operation.Operation method) __repr__() (circkit.operation.Operation method) __setstate__() (circkit.operation.Operation method) __str__() (circkit.operation.Operation method) __weakref__ (circkit.operation.UnhashableOperationError attribute) _circuit (circkit.operation.Operation attribute) _circuit_class (circkit.operation.Operation attribute) _param_descriptions (circkit.operation.Operation attribute)

A

after_create_node() (circkit.operation.Operation method) after_visit() (circkit.transformers.core.Transformer method) ArithmeticCircuit (class in circkit.arithmetic) ArithmeticCircuit.ADD (class in circkit.arithmetic) ArithmeticCircuit.CONST (class in circkit.arithmetic) ArithmeticCircuit.DIV (class in circkit.arithmetic) ArithmeticCircuit.EXP (class in circkit.arithmetic) ArithmeticCircuit.GET (class in circkit.arithmetic) ArithmeticCircuit.INPUT (class in circkit.arithmetic) ArithmeticCircuit.INV (class in circkit.arithmetic) ArithmeticCircuit.LUT (class in circkit.arithmetic) ArithmeticCircuit.MUL (class in circkit.arithmetic) ArithmeticCircuit.NEG (class in circkit.arithmetic)

ArithmeticCircuit.Operations (class in circkit.arithmetic) ArithmeticCircuit.Operations.ADD (class in circkit.arithmetic) ArithmeticCircuit.Operations.DIV (class in circkit.arithmetic) ArithmeticCircuit.Operations.EXP (class in circkit.arithmetic) ArithmeticCircuit.Operations.INV (class in circkit.arithmetic) ArithmeticCircuit.Operations.LUT (class in circkit.arithmetic) ArithmeticCircuit.Operations.MUL (class in circkit.arithmetic) ArithmeticCircuit.Operations.NEG (class in circkit.arithmetic) ArithmeticCircuit.Operations.RND (class in circkit.arithmetic) ArithmeticCircuit.Operations.SUB (class in circkit.arithmetic) ArithmeticCircuit.RND (class in circkit.arithmetic) ArithmeticCircuit.SUB (class in circkit.arithmetic) ArithmeticConstManager (class in circkit.const_manager)

B

BaseCircuit (class in circkit.circuit) BaseCircuit.Node (class in circkit.circuit) BaseCircuit.Operations (class in circkit.circuit) before_create_node() (circkit.circuit.Circuit.Operations.GET method) (circkit.circuit.Circuit.Operations.INPUT method) (circkit.operation.Operation method) before_visit() (circkit.transformers.core.Transformer method) Binary (class in circkit.operation) BitwiseCircuit (class in circkit.bitwise.circuit) BitwiseCircuit.ADD (class in circkit.bitwise.circuit) BitwiseCircuit.AND (class in circkit.bitwise.circuit) BitwiseCircuit.CONST (class in circkit.bitwise.circuit) BitwiseCircuit.DIV (class in circkit.bitwise.circuit) BitwiseCircuit.GET (class in circkit.bitwise.circuit) BitwiseCircuit.INPUT (class in circkit.bitwise.circuit) BitwiseCircuit.LUT (class in circkit.bitwise.circuit) BitwiseCircuit.MOD (class in circkit.bitwise.circuit) BitwiseCircuit.MUL (class in circkit.bitwise.circuit) BitwiseCircuit.NEG (class in circkit.bitwise.circuit) BitwiseCircuit.NOT (class in circkit.bitwise.circuit) BitwiseCircuit.Operations (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.ADD (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.AND (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.DIV (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.LUT (class in circkit.bitwise.circuit)

BitwiseCircuit.Operations.MOD (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.MUL (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.NEG (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.NOT (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.OR (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.RND (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.ROL (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.ROR (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.SHL (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.SHR (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.SUB (class in circkit.bitwise.circuit) BitwiseCircuit.Operations.XOR (class in circkit.bitwise.circuit) BitwiseCircuit.OR (class in circkit.bitwise.circuit) BitwiseCircuit.RND (class in circkit.bitwise.circuit) BitwiseCircuit.ROL (class in circkit.bitwise.circuit) BitwiseCircuit.ROR (class in circkit.bitwise.circuit) BitwiseCircuit.SHL (class in circkit.bitwise.circuit) BitwiseCircuit.SHR (class in circkit.bitwise.circuit) BitwiseCircuit.SUB (class in circkit.bitwise.circuit) BitwiseCircuit.XOR (class in circkit.bitwise.circuit) BitwiseRing (class in circkit.bitwise.ring) BitwiseRing.Word (class in circkit.bitwise.ring) Bool (circkit.param.Param attribute) BooleanConstManager (class in circkit.const_manager) BoolParam (class in circkit.param)

C

circkit.arithmetic module circkit.bitwise.circuit module circkit.bitwise.const_manager module circkit.bitwise.ring module circkit.circuit module circkit.const_manager module circkit.location module circkit.node module circkit.operation module

circkit.param module circkit.transformers.core module Circuit (class in circkit.circuit) Circuit.CONST (class in circkit.circuit) Circuit.GET (class in circkit.circuit) Circuit.INPUT (class in circkit.circuit) Circuit.Operations (class in circkit.circuit) Circuit.Operations.CONST (class in circkit.circuit) Circuit.Operations.GET (class in circkit.circuit) Circuit.Operations.INPUT (class in circkit.circuit) CircuitTransformer (class in circkit.transformers.core) concat_on_same_inputs() (circkit.circuit.Circuit method) concat_parallel() (circkit.circuit.Circuit method) Const (circkit.param.Param attribute) ConstParam (class in circkit.param) create() (circkit.const_manager.ArithmeticConstManager method) (circkit.const_manager.BooleanConstManager method)

D

determine_n_outputs() (circkit.operation.Operation method)

E

eval() (circkit.arithmetic.ArithmeticCircuit.Operations.ADD method) (circkit.arithmetic.ArithmeticCircuit.Operations.DIV method) (circkit.arithmetic.ArithmeticCircuit.Operations.EXP method) (circkit.arithmetic.ArithmeticCircuit.Operations.INV method) (circkit.arithmetic.ArithmeticCircuit.Operations.LUT method) (circkit.arithmetic.ArithmeticCircuit.Operations.MUL method) (circkit.arithmetic.ArithmeticCircuit.Operations.NEG method) (circkit.arithmetic.ArithmeticCircuit.Operations.RND method) (circkit.arithmetic.ArithmeticCircuit.Operations.SUB method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.ADD method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.AND method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.DIV method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.LUT method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.MOD method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.MUL method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.NEG method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.NOT method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.OR method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.RND method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.ROL method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.ROR method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.SHL method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.SHR method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.SUB method) (circkit.bitwise.circuit.BitwiseCircuit.Operations.XOR method) (circkit.circuit.Circuit.Operations.CONST method) (circkit.circuit.Circuit.Operations.GET method) (circkit.circuit.Circuit.Operations.INPUT method) (circkit.operation.Operation method)

eval_with_node() (circkit.operation.Operation method) evaluate() (circkit.circuit.Circuit method)

F

fetch_int() (circkit.bitwise.ring.BitwiseRing method)

I

in_place_remove_unused_nodes() (circkit.circuit.Circuit method) InputName (circkit.param.Param attribute) InputNameParam (class in circkit.param)

Int (circkit.param.Param attribute) IntParam (class in circkit.param) is_OUTPUT() (circkit.circuit.BaseCircuit.Node method) (circkit.node.Node method)

L

Location (class in circkit.location)

M

make_output() (circkit.transformers.core.CircuitTransformer method) module circkit.arithmetic circkit.bitwise.circuit circkit.bitwise.const_manager circkit.bitwise.ring circkit.circuit circkit.const_manager circkit.location circkit.node circkit.operation circkit.param circkit.transformers.core

MultiBinary (class in circkit.operation) MultiNullary (class in circkit.operation) MultiTernary (class in circkit.operation) MultiUnary (class in circkit.operation) MultiVariadic (class in circkit.operation)

N

n_inputs (circkit.operation.Operation attribute) n_outputs (circkit.operation.Operation attribute) Node (circkit.arithmetic.ArithmeticCircuit attribute) (circkit.arithmetic.OptArithmeticCircuit attribute) (circkit.bitwise.circuit.BitwiseCircuit attribute) (circkit.circuit.Circuit attribute) (class in circkit.node)

Node_unlinked (circkit.arithmetic.ArithmeticCircuit attribute) (circkit.arithmetic.OptArithmeticCircuit attribute) (circkit.bitwise.circuit.BitwiseCircuit attribute) (circkit.circuit.Circuit attribute) Nullary (class in circkit.operation)

O

on_new_circuit() (circkit.circuit.Circuit.Operations.INPUT class method) (circkit.operation.Operation class method) Operation (class in circkit.operation) Operation.Binary (class in circkit.operation) Operation.MultiBinary (class in circkit.operation) Operation.MultiNullary (class in circkit.operation) Operation.MultiTernary (class in circkit.operation) Operation.MultiUnary (class in circkit.operation) Operation.MultiVariadic (class in circkit.operation) Operation.Nullary (class in circkit.operation) Operation.Ternary (class in circkit.operation) Operation.Unary (class in circkit.operation) Operation.Variadic (class in circkit.operation) OperationMeta (class in circkit.operation)

OptArithmeticCircuit (class in circkit.arithmetic) OptArithmeticCircuit.ADD (class in circkit.arithmetic) OptArithmeticCircuit.CONST (class in circkit.arithmetic) OptArithmeticCircuit.DIV (class in circkit.arithmetic) OptArithmeticCircuit.EXP (class in circkit.arithmetic) OptArithmeticCircuit.GET (class in circkit.arithmetic) OptArithmeticCircuit.INPUT (class in circkit.arithmetic) OptArithmeticCircuit.INV (class in circkit.arithmetic) OptArithmeticCircuit.LUT (class in circkit.arithmetic) OptArithmeticCircuit.MUL (class in circkit.arithmetic) OptArithmeticCircuit.NEG (class in circkit.arithmetic) OptArithmeticCircuit.RND (class in circkit.arithmetic) OptArithmeticCircuit.SUB (class in circkit.arithmetic) output() (circkit.const_manager.ArithmeticConstManager method) (circkit.const_manager.BooleanConstManager method)

P

Param (class in circkit.param) Param.InvalidConstraint

Param.InvalidValue PRECOMPUTABLE (circkit.operation.Operation attribute) print_stats() (circkit.circuit.Circuit method)

R

reapply() (circkit.circuit.BaseCircuit.Node method) (circkit.node.Node method) (circkit.operation.Operation method)

S

siblings_by_outgoing() (circkit.circuit.BaseCircuit.Node method) (circkit.node.Node method) Str (circkit.param.Param attribute)

STR_LIMIT (circkit.operation.Operation attribute) StrParam (class in circkit.param) SYMMETRIC (circkit.operation.Operation attribute)

T

Table (class in circkit.arithmetic) Ternary (class in circkit.operation) to_matrix() (circkit.arithmetic.ArithmeticCircuit method)

trace() (circkit.circuit.Circuit method) Transformer (class in circkit.transformers.core) Tuple (circkit.param.Param attribute) TupleParam (class in circkit.param)

U

Unary (class in circkit.operation)

UnhashableOperationError UNIT (in module circkit.operation)

V

VARIABLE (in module circkit.operation)

Variadic (class in circkit.operation)

W

Word (class in circkit.bitwise.ring)