Lines Matching refs:Domain2
139 static TupleKindPtr Domain2("Domain2"); variable
467 static Signature update_set = { { Domain2 }, { { Leaf }, { Anonymous } } };
469 { { Domain2, Range }, { { Leaf, Range }, { Anonymous } } };
494 { { Domain2, Range }, { { Domain, Range }, { Domain, Domain2 } } };
502 { { Domain2 }, { { Domain }, { Domain2, Domain } } };
504 { { Domain2, Range }, { { Domain, Range }, { Domain2, Domain } } };
508 { { { Domain3, Domain2 }, Range },
509 { { { Domain, Domain2 }, Range }, { Domain3, Domain } } };
518 { { Range2, Range }, { { { Domain2, Range2 }, Range }, { Domain2 } } };
602 { { { Domain, Domain2 }, { Range, Range2 } },
603 { { Domain, Range }, { Domain2, Range2 } } };
605 { { { Domain, Domain2 }, Range },
606 { { Domain, Range }, { Domain2, Range } } };
614 { { Domain, Range }, { { { Domain, Domain2 }, Range } } };
616 { { Domain2, Range }, { { { Domain, Domain2 }, Range } } };
664 { { Domain2, Range2 },