Loading...
embed_and_synthesize
revkit::embed_and_synthesize
embed_truth_table
revkit
embed_truth_table_func
revkit
end
revkit::circuit::end() const
revkit::circuit::end()
revkit::truth_table::end()
end_controls
revkit::gate::end_controls() const
revkit::gate::end_controls()
revkit::filtered_gate::end_controls() const
revkit::filtered_gate::end_controls()
end_targets
revkit::gate::end_targets() const
revkit::gate::end_targets()
revkit::filtered_gate::end_targets() const
revkit::filtered_gate::end_targets()
equivalence_check
revkit
equivalence_check_func
revkit
esop_synthesis
revkit
esop_synthesis_func
revkit
exact_synthesis
revkit
exact_synthesis_func
revkit
expand_circuit
revkit::expand_circuit(const circuit &base, circuit &circ, unsigned num_lines, const std::vector< unsigned > &filter)
revkit::expand_circuit(const circuit &base, circuit &circ)
extend_truth_table
revkit
Searching...
No Matches