automaton-core.protocols.binary-relation
Test registry elements for binary relation properties
Test registry elements for binary relation properties
antisymmetricclj/s
(antisymmetric binary-operator equality-operator values-to-test nb-iterations)Is the binary-operator antisymmetric, as defined in wiki page
Returns the list of pair of values from values-to-test which are not fullfilling the antisymmetric definition
Params:
binary-operatorequality-operatoris the binary operator checking equalityvalues-to-testa set of values to test that we'll pick innb-iterationsnumber of random pairs to pick invalues-to-testto test the efficiency of it
Is the `binary-operator` antisymmetric, as defined in [wiki page](https://en.wikipedia.org/wiki/Antisymmetric_relation) Returns the list of pair of values from `values-to-test` which are not fullfilling the antisymmetric definition Params: * `binary-operator` * `equality-operator` is the binary operator checking equality * `values-to-test` a set of values to test that we'll pick in * `nb-iterations` number of random pairs to pick in `values-to-test` to test the efficiency of it
asymmetricclj/s
(asymmetric binary-operator values-to-test nb-iterations)Is the binary-operator asymetric, as defined in wiki page
Returns the list of pair of values from values-to-test which are not fullfilling the asymmetric definition
Params:
binary-operatorvalues-to-testa set of values to test that we'll pick innb-iterationsnumber of random pairs to pick invalues-to-testto test the efficiency of it
Is the `binary-operator` asymetric, as defined in [wiki page](https://en.wikipedia.org/wiki/Asymmetric_relation) Returns the list of pair of values from `values-to-test` which are not fullfilling the asymmetric definition Params: * `binary-operator` * `values-to-test` a set of values to test that we'll pick in * `nb-iterations` number of random pairs to pick in `values-to-test` to test the efficiency of it
equivalenceclj/s
(equivalence binary-operator values-to-test nb-iterations)Is the binary-operator an equivalence, as defined in wiki page
Returns the list of pair of values from values-to-test which are not fullfilling the asymetric definition
binary-operatorvalues-to-testa set of values to test that we'll pick innb-iterationsnumber of random pairs to pick invalues-to-testto test the efficiency of it
Is the `binary-operator` an equivalence, as defined in [wiki page](https://fr.wikipedia.org/wiki/Relation_d%27%C3%A9quivalence) Returns the list of pair of values from `values-to-test` which are not fullfilling the asymetric definition * `binary-operator` * `values-to-test` a set of values to test that we'll pick in * `nb-iterations` number of random pairs to pick in `values-to-test` to test the efficiency of it
reflexiveclj/s
(reflexive binary-operator values-to-test)Does the binary operator is reflexive? See wikipedia article
Params:
binary-opeartorto testvalues-to-testvalues to test
Does the binary operator is reflexive? See [wikipedia article](https://en.wikipedia.org/wiki/Reflexive_relation) Params: * `binary-opeartor` to test * `values-to-test` values to test
strongly-connectedclj/s
(strongly-connected binary-operator values-to-test nb-iterations)Is binary-operator strongly-connected , as defined in wiki page
Returns the list of pair of values in values-to-test which are not strongly connected
Params:
binary-operatorvalues-to-testa set of values to test that we'll pick innb-iterationsnumber of random pairs to pick invalues-to-testto test the efficiency of it
Is `binary-operator` strongly-connected , as defined in [wiki page](https://en.wikipedia.org/wiki/Connected_relation) Returns the list of pair of values in `values-to-test` which are not strongly connected Params: * `binary-operator` * `values-to-test` a set of values to test that we'll pick in * `nb-iterations` number of random pairs to pick in `values-to-test` to test the efficiency of it
symmetricclj/s
(symmetric binary-operator values-to-test nb-iterations)Is the binary-operator symetric, as defined in wiki page
Returns the list of pair of values from values-to-test which are not fullfilling the symmetric definition
Params:
binary-operatorvalues-to-testa set of values to test that we'll pick innb-iterationsnumber of random pairs to pick invalues-to-testto test the efficiency of it
Is the `binary-operator` symetric, as defined in [wiki page](https://fr.wikipedia.org/wiki/Relation_sym%C3%A9trique) Returns the list of pair of values from `values-to-test` which are not fullfilling the symmetric definition Params: * `binary-operator` * `values-to-test` a set of values to test that we'll pick in * `nb-iterations` number of random pairs to pick in `values-to-test` to test the efficiency of it
total-orderclj/s
(total-order binary-operator equality-operator values-to-test nb-iterations)Is the binary-operator total order, as defined in wiki page
Returns the list of pair of values from values-to-test which are not fullfilling the total order definition
binary-operatorequality-operatoris the binary operator checking equalityvalues-to-testa set of values to test that we'll pick innb-iterationsnumber of random pairs to pick invalues-to-testto test the efficiency of it
Is the `binary-operator` total order, as defined in [wiki page](https://en.wikipedia.org/wiki/Total_order) Returns the list of pair of values from `values-to-test` which are not fullfilling the total order definition * `binary-operator` * `equality-operator` is the binary operator checking equality * `values-to-test` a set of values to test that we'll pick in * `nb-iterations` number of random pairs to pick in `values-to-test` to test the efficiency of it
transitiveclj/s
(transitive binary-operator values-to-test nb-iterations)Is binary-operator transitive, as defined in wiki page
Returns the list of triple of values in values-to-test for which transitivity property is not fullfilled
Params:
binary-operatorvalues-to-testa set of values to test that we'll pick innb-iterationsnumber of random pairs to pick invalues-to-testto test the efficiency of it
Is `binary-operator` transitive, as defined in [wiki page](https://en.wikipedia.org/w/index.php?title=Transitive_relation&oldid=1178741565) Returns the list of triple of values in `values-to-test` for which transitivity property is not fullfilled Params: * `binary-operator` * `values-to-test` a set of values to test that we'll pick in * `nb-iterations` number of random pairs to pick in `values-to-test` to test the efficiency of it
cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close