org.walkmod.modelchecker

Interface ConstrainedElement

public interface ConstrainedElement

Method Summary

Modifier and Type	Method and Description
boolean	check()
List<Constraint>	getConstraints()
void	setConstraints(List<Constraint> constraints)

Method Detail

setConstraints

void setConstraints(List<Constraint> constraints)

getConstraints

List<Constraint> getConstraints()

check

boolean check()