Liking cljdoc? Tell your friends :D
All platforms.

automaton-core.protocols.binary-relation

Test registry elements for binary relation properties

Test registry elements for binary relation properties
raw docstring

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-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
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
raw docstring

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-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
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
raw docstring

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-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
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
raw docstring

reflexiveclj/s

(reflexive binary-operator values-to-test)

Does the binary operator is reflexive? See wikipedia article

Params:

  • binary-opeartor to test
  • values-to-test values 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
raw docstring

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-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
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
raw docstring

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-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
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
raw docstring

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-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
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
raw docstring

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-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
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
raw docstring

cljdoc builds & hosts documentation for Clojure/Script libraries

Keyboard shortcuts
Ctrl+kJump to recent docs
←Move to previous article
→Move to next article
Ctrl+/Jump to the search field
Raise an issueBrowse cljdoc sourceChat on Slack
× close