Home
last modified time | relevance | path

Searched refs:binary_relation (Results 1 – 22 of 22) sorted by relevance

/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/stdlib/test/shell_docs_SUITE_data/
H A Dsofs.docs_v11 …binary_relation,0} => {attribute,118,type,{binary_relation,{user_type,118,relation,[]},[]}},{exter…
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/stdlib/test/shell_docs_SUITE_data/
H A Dsofs.docs_v11 …binary_relation,0} => {attribute,118,type,{binary_relation,{user_type,118,relation,[]},[]}},{exter…
/dports/lang/erlang/otp-OTP-24.1.7/lib/stdlib/test/shell_docs_SUITE_data/
H A Dsofs.docs_v11 …binary_relation,0} => {attribute,118,type,{binary_relation,{user_type,118,relation,[]},[]}},{exter…
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/stdlib/test/shell_docs_SUITE_data/
H A Dsofs.docs_v11 …binary_relation,0} => {attribute,118,type,{binary_relation,{user_type,118,relation,[]},[]}},{exter…
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/tools/test/prof_bench_SUITE_data/
H A Dsofs_copy.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/stdlib/src/
H A Dsofs.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/tools/test/prof_bench_SUITE_data/
H A Dsofs_copy.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/stdlib/src/
H A Dsofs.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/stdlib/src/
H A Dsofs.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/tools/test/prof_bench_SUITE_data/
H A Dsofs_copy.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/stdlib/src/
H A Dsofs.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/stdlib/src/
H A Dsofs.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/tools/test/prof_bench_SUITE_data/
H A Dsofs_copy.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/stdlib/src/
H A Dsofs.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/tools/test/prof_bench_SUITE_data/
H A Dsofs_copy.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/tools/test/prof_bench_SUITE_data/
H A Dsofs_copy.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/stdlib/src/
H A Dsofs.erl431 BinRel :: binary_relation(),
578 BinRel :: binary_relation(),
596 BinRel :: binary_relation()).
613 BinRel :: binary_relation(),
623 BinRel :: binary_relation(),
633 BinRel :: binary_relation(),
643 BinRel :: binary_relation(),
659 BinRel :: binary_relation(),
718 BinRel :: binary_relation(),
735 BinRel :: binary_relation(),
[all …]
/dports/math/gap/gap-4.11.0/pkg/OpenMath-11.5.0/cds/
H A Drelation2.ocd19 <Name> binary_relation </Name>
21 The argument to binary_relation is a set of pairs.
/dports/math/gap/gap-4.11.0/pkg/qpa-version-1.30/lib/
H A Dqpaposet.gd2 DeclareRepresentation( "IsPosetRep", IsPoset, [ "set", "binary_relation", "minimal_relations", "les…
H A Dqpaposet.gi62 poset := rec( set := Elements( Source( P ) ), binary_relation := P,
/dports/textproc/py-pygments-25/Pygments-2.5.2/tests/examplefiles/
H A Dcoq_RelationClasses235 Definition binary_relation A := predicate (A::A::nil).
265 Fixpoint pointwise_lifting (op : binary_relation Prop) (l : list Type) : binary_relation (predicat…
274 Definition predicate_equivalence {l : list Type} : binary_relation (predicate l) :=
/dports/textproc/py-pygments/Pygments-2.7.2/tests/examplefiles/
H A Dcoq_RelationClasses235 Definition binary_relation A := predicate (A::A::nil).
265 Fixpoint pointwise_lifting (op : binary_relation Prop) (l : list Type) : binary_relation (predicat…
274 Definition predicate_equivalence {l : list Type} : binary_relation (predicate l) :=