Bits
These bits of documentation are used in the Visual Studio Code extension for Conjure. Search for conjure-vs-code inside VS Code to install this extension. The extension is open source as well, and it is hosted at https://github.com/conjure-cp/conjure-vs-code.
We include them here for reference and convenience, but this part of the documentation is intended to be useful primarily through the VS Code extension.
- Euclidean
- aSymmetric
- antiSymmetric
- bijective
- connex
- coreflexive
- equivalence
- injective
- irreflexive
- maxSize
- minSize
- partialOrder
- reflexive
- regular
- serial
- size
- surjective
- symmetric
- total
- transitive
- allDiff
- and
- apart
- defined
- image
- imageSet
- inverse
- max
- min
- participants
- parts
- party
- preImage
- pred (predecessor)
- range
- restrict
- succ (successor)
- toInt
- together
- <- (expression projection)
- find
- letting domain
- –> (long arrow)
- new type enum
- / (integer division)
- - (minus)
- % (modulo)
- + (plus)
- ** (power)
- * (times)
- |x| (absolute value)
- in
- intersect
- subsequence
- subset
- subsetEq
- substring
- supset
- supsetEq
- union
- x! (factorial)
- bool
- int
- record
- relation
- sequence
- tuple
- function
- matrix
- unnamed