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:40]
alex [FiniteDomainConstraint]
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 53: Line 53:
 ===== Class Methods ===== ===== Class Methods =====
  
 +==== printHTML ====
 +
 +<code java>
 +public java.lang.String printHTML()
 +</​code>​
 +
 +This method is used for create a compact view of a finite domain constraint key (''​table[field] ∈ {'​val1',​ '​val2'​}''​ )
 +
 +**Returns:​**
 +  * finite domain constraint adapted to the compact view
 +
 +
 +----
 +==== 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.1374486012.txt.gz · Last modified: 2017/07/06 15:24 (external edit)