Searched refs:unpackBinaryBoolValue (Results 1 – 1 of 1) sorted by relevance
57 BoolValue &unpackBinaryBoolValue(Environment &Env, BoolValue &B, M build) { in unpackBinaryBoolValue() function95 return unpackBinaryBoolValue<ConjunctionValue>(Env, V, in unpackValue()98 return unpackBinaryBoolValue<DisjunctionValue>(Env, V, in unpackValue()101 return unpackBinaryBoolValue<ImplicationValue>( in unpackValue()104 return unpackBinaryBoolValue<BiconditionalValue>(Env, V, in unpackValue()