| Commit message (Collapse) | Author | Age |
|
|
| |
of relevant primitive objects.
|
|
|
| |
logic problem.
|
|
|
|
|
|
|
|
|
|
| |
An identifier usually separated by whitespaces into name sections,
creating hierarchic names. By convention names with at most three
sections are represented in the following way:
"nameOfObject typeOfObject namespaceOfObject".
For example, the name of a relation "vertices" representing a
"reference" in class "Region" will be:
"vertices reference Region"
|
|
|
| |
for example, a referred class is not translated to the logic problem).
|
| |
|
|
|
|
| |
logic structure builder calls the definition when the interpretation of
the declaration is requested.
|
| |
|
| |
|
|
|