pulsatrix::datalog::BooleanSemiring Member List

This is the complete list of members for pulsatrix::datalog::BooleanSemiring, including all inherited members.

add(Value a, Value b)	pulsatrix::datalog::BooleanSemiring	inlinestatic
mul(Value a, Value b)	pulsatrix::datalog::BooleanSemiring	inlinestatic
one()	pulsatrix::datalog::BooleanSemiring	inlinestatic
Value typedef	pulsatrix::datalog::BooleanSemiring
zero()	pulsatrix::datalog::BooleanSemiring	inlinestatic