From 6f2b33c214110ed5983a762b0da3280933fa3934 Mon Sep 17 00:00:00 2001 From: Oszkar Semerath Date: Thu, 30 Apr 2020 18:21:20 +0200 Subject: UP rule precondition provider --- .../viatrasolver/logic2viatra/PropagationModality.java | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/PropagationModality.java (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/PropagationModality.java') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/PropagationModality.java b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/PropagationModality.java new file mode 100644 index 00000000..2288ad7e --- /dev/null +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.logic2viatra/src/hu/bme/mit/inf/dslreasoner/viatrasolver/logic2viatra/PropagationModality.java @@ -0,0 +1,8 @@ +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 +} -- cgit v1.2.3-54-g00ecf