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:51]
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 66: Line 66:
  
 ---- ----
 +==== getters and setters methods ====
 +
 +<code java>
 +public int getArgPosition() ​
 +public void setArgPosition(int argPosition) ​
 +
 +public java.util.ArrayList<​java.lang.String>​ getValues() ​
 +public void setValues(java.util.ArrayList<​java.lang.String>​ values) ​
 +
 +public long getId()
 +public void setId(long id)
 +
 +public Relation getRelation()
 +public void setRelation(Relation relation)
 +
 +</​code> ​
 +
 +[[magik-demo:​developer:​class:​core:​finitedomainconstraints|Back to Top]] | [[magik-demo:​start|Back to Home Page]]
magik-demo/developer/class/core/finitedomainconstraints.1374486661.txt.gz ยท Last modified: 2017/07/06 15:24 (external edit)