QuipperLib.ClassicalOptim.AlgExp

Auxiliary functions

mapOfSet

setOfMap

split_even

Expressions

type Exp

listOfExp

expOfList

exp_and

exp_xor

exp_false

exp_true

exp_not

exp_var

Properties of expressions

Truth tables

vars_of_exp

exp_eval

valuations_of_vars

truth_table_of_exp

exp_of_truth_table

Quick-checking

twoExp

genBoolList

test_args

test_truth1

genIntList

genExp

test_truth2