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.
- / (integer division)
- Euclidean
- - (minus)
- % (modulo)
- + (plus)
- ** (power)
- * (times)
- aSymmetric
- |x| (absolute value)
- antiSymmetric
- bijective
- bool
- connex
- coreflexive
- equivalence
- in
- injective
- int
- intersect
- irreflexive
- maxSize
- minSize
- partialOrder
- record
- reflexive
- regular
- relation
- sequence
- serial
- size
- subsequence
- subset
- subsetEq
- substring
- supset
- supsetEq
- surjective
- symmetric
- total
- transitive
- tuple
- union
- allDiff
- and
- apart
- defined
- <- (expression projection)
- find
- function
- image
- imageSet
- inverse
- letting domain
- –> (long arrow)
- matrix
- max
- min
- new type enum
- participants
- parts
- party
- x! (factorial)
- preImage
- pred (predecessor)
- range
- restrict
- succ (successor)
- toInt
- together
- unnamed