Uses of Interface
org.walkmod.modelchecker.Constraint

Uses of Constraint in org.walkmod.modelchecker

Methods in org.walkmod.modelchecker that return Constraint

Modifier and Type	Method and Description
Constraint<?>	ConstraintProvider.getConstraint(T model)

Methods in org.walkmod.modelchecker that return types with arguments of type Constraint

Modifier and Type	Method and Description
List<Constraint>	ConstrainedElement.getConstraints()

Method parameters in org.walkmod.modelchecker with type arguments of type Constraint

Modifier and Type	Method and Description
void	ConstrainedElement.setConstraints(List<Constraint> constraints)