package lff;

public enum RobustnessType {
	/** Average robustness of a property */
	AvgRobustness,

	/** Conditional average robustness of a property being true */
	CondAvgRobustnessTrue,

	/** Conditional average robustness of a property being false */
	CondAvgRobustnessFalse
}
