package org.jalgo.module.hoare.constants;

/**
 * Representation of all rules of the Hoare algorithm
 * 
 * @author Thomas
 *
 */
public enum Rule {
	
	ASSIGN,
	IF,
	IFELSE,
	COMPOUND,
	STATSEQ,
	ITERATION,
	STRONGPRE,
	WEAKPOST,

}
