org.bitbucket.inkytonik.kiama.relation
Support for binary relations.
A single empty image that can be used for all lookups.
Make a relation from the repeated application of onestep to t and the results that it produces.
onestep
t
Make a relation from a sequence of pairs that describe the mappings.
Support for binary relations.