Searched refs:Conjunction (Results 1 – 8 of 8) sorted by relevance
44 Conjunction, enumerator100 Val->getKind() == Kind::Conjunction || in classof()136 : BoolValue(Kind::Conjunction), LeftSubVal(LeftSubVal), in ConjunctionValue()140 return Val->getKind() == Kind::Conjunction; in classof()
49 case Value::Kind::Conjunction: in debugString()109 case Value::Kind::Conjunction: { in debugString()
282 case Value::Kind::Conjunction: { in substituteBoolValue()
207 case Value::Kind::Conjunction: { in buildBooleanFormula()
94 case Value::Kind::Conjunction: in unpackValue()
1175 auto Conjunction = fromConstraintExpr(S, D, E[0]); in fromConstraintExprs() local1176 if (!Conjunction) in fromConstraintExprs()1182 *Conjunction = NormalizedConstraint(S.Context, std::move(*Conjunction), in fromConstraintExprs()1185 return Conjunction; in fromConstraintExprs()
46 10/10 Mercury at Superior Conjunction with Sun. Moves into night sky. (1984)
20564 @ Conjunction and length marks