4#include <adiar/functional.h>
6#include <adiar/internal/data_types/ptr.h>
7#include <adiar/internal/data_types/uid.h>
function< bool(Args...)> predicate
Predicate function given value(s) of type(s) Args.
Definition functional.h:48
consumer< ValueType > make_consumer(OutputIt &iter)
Wrap an iterator into a consumer function.
Definition functional.h:67
Core types.
Definition adiar.h:40
const predicate< bool, bool > imp_op
Logical 'implication' operator, i.e. the truth table: [1,0,1,1].
Definition bool_op.h:44
const predicate< bool, bool > less_op
Logical 'less' operator, i.e. the truth table [0,0,1,0].
Definition bool_op.h:67
const predicate< bool, bool > xnor_op
Logical 'xor' operator, i.e. the truth table: [1,0,0,1].
Definition bool_op.h:39
const predicate< bool, bool > or_op
Logical 'or' operator, i.e. the truth table: [1,1,1,0].
Definition bool_op.h:24
const predicate< bool, bool > and_op
Logical 'and' operator, i.e. the truth table: [1,0,0,0].
Definition bool_op.h:14
const predicate< bool, bool > invimp_op
Logical 'implication' operator, i.e. the truth table: [1,1,0,1].
Definition bool_op.h:49
const predicate< bool, bool > diff_op
Logical 'set difference' operator, i.e. the truth table [0,1,0,0].
Definition bool_op.h:59
const predicate< bool, bool > nor_op
Logical 'not or' operator, i.e. the truth table: [0,0,0,1].
Definition bool_op.h:29
const predicate< bool, bool > nand_op
Logical 'not and' operator, i.e. the truth table: [0,1,1,1].
Definition bool_op.h:19
const predicate< bool, bool > equiv_op
Logical 'equivalence' operator, i.e. the 'xnor' operator.
Definition bool_op.h:54
const predicate< bool, bool > xor_op
Logical 'xor' operator, i.e. the truth table: [0,1,1,0].
Definition bool_op.h:34