|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
java.lang.Objectfr.umlv.gramofone.pb.Constraints
public class Constraints
Class which create the constraints for the java pseudoboolean solver SAT4J Constraints are writen into a file, the solver as to read the file next
| Constructor Summary | |
|---|---|
Constraints()
|
|
| Method Summary | |
|---|---|
java.lang.String |
getConstraints(MyGraph g)
took a graph, and return a file. |
int |
getId(char variableName,
int a,
int b)
give the correct number of variable given the variable |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public Constraints()
| Method Detail |
|---|
public int getId(char variableName,
int a,
int b)
variableName - letter of the variable (needed because different variable got same int a ba - first int for the variable (can be a u for an edge, a color for other variable..)b - the second int
public java.lang.String getConstraints(MyGraph g)
g -
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||