Add to documentation of get_property expressions describing types over which AGREE can reason, subrange constraints of properties of integral types, and unchanging value constraint for properties without associated value.
Reviewers: The generated documents need to be regenerated. However, as this is a mechanical process, I will do this after I will do this after reviews are completed to mitigate propagation of binary files into the repo history.
Resolves #51
Add documentation of subrange types.
Add to documentation of get_property expressions describing types over which AGREE can reason, subrange constraints of properties of integral types, and unchanging value constraint for properties without associated value.
Reviewers: The generated documents need to be regenerated. However, as this is a mechanical process, I will do this after I will do this after reviews are completed to mitigate propagation of binary files into the repo history.