Modifier and Type | Class and Description |
---|---|
class |
Constraint |
Modifier and Type | Method and Description |
---|---|
ConstraintDefinition |
AssignmentModel.constraintDefinitionAt(int anIndex)
constraintAt
|
ConstraintDefinition |
AssignmentModel.constraintWithId(int id) |
ConstraintDefinition |
AssignmentModel.createConstraintDefinition(ConstraintTemplate template)
Adds a binary constraint defintion.
|
ConstraintDefinition |
ConstraintDefinitionEdge.getConstraintDefinition()
getConstraintDefinition
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<ConstraintDefinition> |
AssignmentModel.getConstraintDefinitions() |
Modifier and Type | Method and Description |
---|---|
void |
AssignmentModelListener.addConstraintDefinition(ConstraintDefinition constraintDefinition)
addConstraintDefinition
|
void |
AssignmentModelView.addConstraintDefinition(ConstraintDefinition constraintDefinition) |
boolean |
Assignment.addConstraintDefiniton(ConstraintDefinition constraintDefinition) |
boolean |
AssignmentModel.addConstraintDefiniton(ConstraintDefinition constraint)
Adds a unary constraint defintion.
|
boolean |
AssignmentModel.constraintDefinitionExists(ConstraintDefinition constraint)
constraintExists
|
protected ConstraintDefinitionEdge |
AssignmentModelView.createConstraintCell(ConstraintDefinition constraint,
ActivityDefinition parameter,
Parameter formal) |
protected ConstraintDefinitionEdge |
AssignmentView.createConstraintCell(ConstraintDefinition constraint,
ActivityDefinition branch,
Parameter formal) |
void |
AssignmentModelListener.deleteBranch(ConstraintDefinition constraintDefinition,
ActivityDefinition activityDefinition)
removeBranch
|
void |
AssignmentModelView.deleteBranch(ConstraintDefinition constraintDefinition,
ActivityDefinition activityDefinition) |
java.util.List<java.lang.Object> |
AssignmentModel.deleteConstraintDefinition(ConstraintDefinition constraint)
deleteConstraint
|
void |
AssignmentModelListener.deleteConstraintDefiniton(ConstraintDefinition constraintDefinition)
deleteConstraintDefiniton
|
void |
AssignmentModelView.deleteConstraintDefiniton(ConstraintDefinition constraintDefinition) |
boolean |
AssignmentModel.editConstraintDefinition(ConstraintDefinition constraint)
editConstraintDefinition
|
void |
AssignmentModelView.editConstraintDefinition(ConstraintDefinition constraintDefinition)
editConstraintDefinition
|
ConstraintConnector |
AssignmentModelView.getConnector(ConstraintDefinition constraint)
getActivityDefinitionCell
|
void |
ParameterPanel.set(ConstraintDefinition constraintDefinition,
Parameter parameter) |
void |
AssignmentModelView.setConstraintDefinitionColor(ConstraintDefinition constraintDefinition,
java.awt.Color linecolor,
java.awt.Color forecolor,
java.awt.Color backcolor) |
void |
AssignmentModelView.setConstraintDefinitionLabel(ConstraintDefinition constraintDefinition,
java.lang.String label) |
void |
AssignmentModelView.setConstraintDefinitionLabels(ConstraintDefinition constraintDefinition,
javax.swing.JPanel mainPanel,
javax.swing.JPanel metrics,
java.util.HashMap ml,
java.util.HashMap mp) |
void |
AssignmentModelListener.updateConstraintDefinition(ConstraintDefinition constraintDefinition)
updateConstraintDefinition
|
void |
AssignmentModelView.updateConstraintDefinition(ConstraintDefinition constraintDefinition) |
Constructor and Description |
---|
Constraint(ConstraintDefinition definiton,
Assignment assignment) |
ConstraintConnector(ConstraintDefinition constraint) |
ConstraintDefinition(ConstraintDefinition definition)
LTLConstraintDefinition call this constructor to create a constraint in
the model based on a template
|
ConstraintDefinitionEdge(ConstraintDefinition constraint,
ActivityDefinition parameter,
Parameter formal) |
ConstraintEdge(ConstraintDefinition constraint,
ActivityDefinition real,
Parameter parameter) |