This shows you the differences between two versions of the page.
| 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]] | ||