Lines Matching full:domain
136 /* Placeholder tuple pointers that refer to (part of) the domain or range.
138 static TupleKindPtr Domain("Domain"); variable
410 static Signature un_set = { { Domain }, { { Domain } } };
411 static Signature un_map = { { Domain, Range }, { { Domain, Range } } };
420 static Signature bin_set = { { Domain }, { { Domain }, { Domain } } };
422 { { Domain, Range }, { { Domain, Range }, { Domain, Range } } };
425 static Signature bin_set_params = { { Domain }, { { Domain }, { } } };
427 { { Domain, Range }, { { Domain, Range }, { } } };
429 { { Domain, Range }, { { Domain, Range }, { Domain } } };
431 { { Domain, Range }, { { Domain, Range }, { Range } } };
433 { { { Domain, Domain2 }, Range },
434 { { { Domain, Domain2 }, Range }, { Domain } } };
436 { { Domain, { Range, Range2 } },
437 { { Domain, { Range, Range2 } }, { Range } } };
443 static Signature bin_set_anon = { { Domain }, { { Domain }, { Anonymous } } };
445 { { Domain, Range }, { { Domain, Range }, { Anonymous } } };
454 { { Domain }, { { Domain }, { Integer }, { Integer } } };
456 { { Domain, Range }, { { Domain, Range }, { Integer }, { Integer } } };
464 { { Domain }, { { Domain }, { Domain }, { Domain } } };
466 { { Domain, Range },
467 { { Domain, Range }, { Domain, Range }, { Domain, Range } } };
477 { { Domain, Range2 }, { { Domain, Leaf }, { Anonymous } } };
486 static Signature to_set = { { Domain }, { { }, { Integer } } };
487 static Signature add_range = { { Domain, Range }, { { Domain }, { Integer } } };
491 { { Domain }, { { }, { Anonymous }, { Integer } } };
493 { { Domain, Range }, { { Domain }, { Anonymous }, { Integer } } };
498 static Signature set_forward = { { Range }, { { Domain }, { Domain, Range } } };
500 { { Domain2, Range }, { { Domain, Range }, { Domain, Domain2 } } };
502 { { Domain, Range2 }, { { Domain, Range }, { Range, Range2 } } };
508 { { Domain2 }, { { Domain }, { Domain2, Domain } } };
510 { { Domain2, Range }, { { Domain, Range }, { Domain2, Domain } } };
512 { { Domain, Range2 }, { { Domain, Range }, { Range2, Range } } };
515 { { { Domain, Domain2 }, Range }, { Domain3, Domain } } };
520 static Signature bind_set = { { }, { { Domain }, { Domain } } };
521 static Signature bind_domain = { { Range }, { { Domain, Range }, { Domain } } };
522 static Signature bind_range = { { Domain }, { { Domain, Range }, { Range } } };
533 static Signature each_set = { { Res }, { { Domain }, { Res }, { Domain } } };
535 { { Res }, { { Domain, Range }, { Res }, { Domain, Range } } };
546 { { Res }, { { Domain },
547 { Res }, { Domain }, { Domain },
548 { Res }, { Domain } } };
550 { { Res }, { { Domain, Range },
551 { Res }, { Domain, Range }, { Domain, Range },
552 { Res }, { Domain, Range } } };
557 * where the domain is given by an extra argument.
560 { { Domain, Range }, { { Range }, { Domain } } };
562 /* Signature for creating a map from a domain,
566 { { Domain, Range }, { { Domain }, { Range } } };
569 * or a map from a domain, where the range is anonymous.
573 { { Domain, Anonymous }, { { Domain } } };
578 * where the domain is given by an extra argument.
580 static Signature set_from_params = { { Domain }, { { }, { Domain } } };
582 /* Signatures for creating an anonymous function from a domain,
588 { { Domain, Anonymous }, { { Domain }, { Anonymous } } };
594 /* Signature for creating a map from a domain,
595 * where the range tuple is equal to the domain tuple.
597 static Signature set_to_map = { { Domain, Domain }, { { Domain } } };
599 /* Signatures for obtaining the range or the domain of a map.
600 * In case of a transformation, the domain and range are the same.
602 static Signature domain = { { Domain }, { { Domain, Range } } }; variable
603 static Signature range = { { Range }, { { Domain, Range } } };
604 static Signature transformation_domain = { { Domain }, { { Domain, Domain } } };
606 /* Signatures for obtaining the parameter domain of a set or map.
608 static Signature set_params = { { }, { { Domain } } };
609 static Signature map_params = { { }, { { Domain, Range } } };
611 /* Signatures for obtaining the domain of a function.
613 static std::vector<Signature> fn_domain = { domain, set_params };
615 /* Signatures for interchanging (wrapped) domain and range.
617 static Signature map_reverse = { { Range, Domain }, { { Domain, Range } } };
619 { { Domain, { Range2, Range } }, { { Domain, { Range, Range2 } } } };
624 { { { Domain, Range } }, { { Domain }, { Range } } };
626 { { { Domain, Domain2 }, { Range, Range2 } },
627 { { Domain, Range }, { Domain2, Range2 } } };
629 { { { Domain, Domain2 }, Range },
630 { { Domain, Range }, { Domain2, Range } } };
632 { { Domain, { Range, Range2 } },
633 { { Domain, Range }, { Domain, Range2 } } };
638 { { Domain, Range }, { { { Domain, Domain2 }, Range } } };
640 { { Domain2, Range }, { { { Domain, Domain2 }, Range } } };
642 { { Domain, Range }, { { Domain, { Range, Range2 } } } };
644 { { Domain, Range2 }, { { Domain, { Range, Range2 } } } };
649 { { Domain, { Range, Range2 } },
650 { { { Domain, Range }, Range2 } } };
652 { { { Domain, Range }, Range2 },
653 { { Domain, { Range, Range2 } } } };
657 static Signature wrap = { { { Domain, Range } }, { { Domain, Range } } };
658 static Signature unwrap = { { Domain, Range }, { { { Domain, Range } } } };
660 /* Signatures for constructing objects that map to the domain or range
664 { { { Domain, Range }, Domain }, { { Domain, Range } } };
666 { { { Domain, Range }, Range }, { { Domain, Range } } };
668 /* Signature for applying a comparison between the domain and the range
672 { { Domain, Domain }, { { Domain, Domain }, { Domain, Range } } };
678 { { Domain }, { { Domain, Range }, { Domain, Range } } };
680 /* Signatures for flattening the domain or range of a map,
684 { { Anonymous, Range2 }, { { { Domain, Range }, Range2 } } };
686 { { Domain, Anonymous }, { { Domain, { Range, Range2 } } } };
689 { { { Domain, Range }, Range2 }, { Anonymous} } };
691 { { Domain, Range3 }, { { Domain, { Range, Range2 } }, { Anonymous} } };
700 { { Domain }, { { Domain }, { Integer }, { Anonymous } } };
702 { { Domain, Range },
703 { { Domain, Range }, { Integer }, { Domain, Anonymous } } };
709 static Signature to_list_set = { { Anonymous }, { { Domain } } };
710 static Signature to_list_map = { { Domain, Anonymous }, { { Domain, Range } } };
715 static Signature ctx_set = { { Domain }, { { Ctx } } };
716 static Signature ctx_map = { { Domain, Range }, { { Ctx } } };
810 { "domain", fn_domain },
923 * to the domain of the function.
959 static Kind set_type{ Domain };
961 static Kind map_type{ Domain, Range };
962 static Kind map_anon{ Domain, Anonymous };
1129 * that can also have a domain tuple, provide an <name>_on alias
1890 static Signature from_list_set = { { Domain }, { { Domain }, { Anonymous } } };
1892 { { Domain, Range }, { { Domain, Range }, { Domain, Anonymous } } };
1897 static Signature set_from_str = { { Domain }, { { Ctx }, { Str } } };
1898 static Signature map_from_str = { { Domain, Range }, { { Ctx }, { Str } } };
1910 static Signature alloc_set = { { Domain }, { { Ctx }, { Integer } } };
1911 static Signature alloc_map = { { Domain, Range }, { { Ctx }, { Integer } } };
2535 static Signature select_set = { { Anonymous }, { { Domain }, { Integer } } };
2537 { { Domain, Anonymous }, { { Domain, Range }, { Integer } } };
2543 static Signature bin_set_int = { { Domain }, { { Domain }, { Integer } } };
2545 { { Domain, Range }, { { Domain, Range }, { Integer } } };