PropagationModality.java « logic2viatra « viatrasolver « dslreasoner « inf « mit « bme « hu « src « hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra « VIATRA-Solver « Solvers - VIATRA-Generator - Mirror of https://github.com/viatra/VIATRA-Generator

about summary refs log tree commit diff stats

path: root/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/PropagationModality.java

blob: 2288ad7e43c9815f98c1ef999c0596262ce155cb (plain) (blame)

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
}