ConstructorsΒΆ
The header <kitty/constructors.hpp>
implements operations to construct truth tables.
Function
|
Description
|
---|---|
Creates truth table with number of variables.
|
|
Constructs projections (single-variable functions)
|
|
Constructs projections (single-variable functions) out-of-place.
|
|
Constructs truth table from binary string.
|
|
Constructs truth table from hexadecimal string.
|
|
Creates string from raw character data.
|
|
Constructs a truth table from random value.
|
|
Constructs a truth table from random value.
|
|
Constructs a truth table from a range of words.
|
|
Creates truth table from cubes representation.
|
|
Creates truth table from clause representation.
|
|
Constructs majority-n function.
|
|
Constructs threshold function.
|
|
Constructs equals-k function.
|
|
Constructs symmetric function.
|
|
Constructs parity function over n variables.
|
|
Constructs truth table from Boolean chain.
|
|
Constructs truth table from Boolean chain.
|
|
Constructs truth tables from Boolean chain.
|
|
Constructs truth tables from Boolean chain.
|
|
Creates characteristic function.
|
|
Creates truth table from textual expression.
|
|
Creates truth table from textual expression.
|
|
Creates function where on-set corresponds to prime numbers.
|
|
Creates a truth table from a Boolean formula.
|