User Tools

Site Tools


magik-demo:developer:class:core:finitedomainconstraints

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
magik-demo:developer:class:core:finitedomainconstraints [2013/07/22 11:57]
alex [printHTML]
magik-demo:developer:class:core:finitedomainconstraints [2017/07/06 15:24] (current)
Line 13: Line 13:
 Relation relation; Relation relation;
 </​code>​ </​code>​
-===== Class Constructor ​=====+===== Class Constructors ​=====
  
 ==== FiniteDomainConstraint ==== ==== FiniteDomainConstraint ====
Line 77: Line 77:
 public long getId() public long getId()
 public void setId(long id) public void setId(long id)
 +
 +public Relation getRelation()
 +public void setRelation(Relation relation)
  
 </​code> ​ </​code> ​
 +
 +[[magik-demo:​developer:​class:​core:​finitedomainconstraints|Back to Top]] | [[magik-demo:​start|Back to Home Page]]
magik-demo/developer/class/core/finitedomainconstraints.1374487042.txt.gz ยท Last modified: 2017/07/06 15:24 (external edit)