package hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra;

public enum PropagationModality {
	/**The value was originally ? and set to 1 */
	UP, 
	/**The value was originally ? and set to 0 */
	DOWN
}