From 27187323b760bd7bba5e16cc75fadb041888e2c8 Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Wed, 20 Jun 2018 14:42:23 +0200 Subject: Fixing multiple "true" and "false" objects --- .../model/PartialInterpretation.aird | 149 ++++++++------------- 1 file changed, 56 insertions(+), 93 deletions(-) (limited to 'Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird') diff --git a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird index 35b87922..7fba84f6 100644 --- a/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird +++ b/Solvers/VIATRA-Solver/hu.bme.mit.inf.dslreasoner.viatrasolver.partialinterpretationlanguage/model/PartialInterpretation.aird @@ -583,22 +583,6 @@ - - - - - - - - - - - - - - - - @@ -663,30 +647,6 @@ - - - - - - - - - - - - - - - - - - - - - - - - @@ -1115,7 +1075,7 @@ - + @@ -1124,11 +1084,10 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - italic - + @@ -1296,28 +1255,18 @@ - + KEEP_LOCATION KEEP_SIZE KEEP_RATIO - - + + italic + - - - - - - bold - - - - - @@ -1366,21 +1315,6 @@ - - - - - - - - labelSize - - - labelSize - - - - @@ -1411,6 +1345,12 @@ + + + bold + + + @@ -1434,11 +1374,19 @@ + + + + + + + + - + @@ -1501,7 +1449,7 @@ - + @@ -1554,7 +1502,7 @@ - + @@ -1592,7 +1540,7 @@ - + @@ -1609,7 +1557,7 @@ - + @@ -1641,11 +1589,11 @@ - + - + @@ -1672,7 +1620,7 @@ - + @@ -1688,7 +1636,7 @@ - + @@ -1736,7 +1684,7 @@ - + @@ -1800,7 +1748,7 @@ - + @@ -1816,7 +1764,7 @@ - + @@ -1832,7 +1780,7 @@ - + @@ -1848,7 +1796,7 @@ - + @@ -1906,7 +1854,7 @@ - + @@ -1915,6 +1863,22 @@ + + + + + bold + + + + + + + + bold + + + @@ -3063,7 +3027,7 @@ - + @@ -3073,7 +3037,7 @@ - + @@ -3334,11 +3298,10 @@ KEEP_LOCATION KEEP_SIZE KEEP_RATIO - + backgroundColor foregroundColor - italic - + -- cgit v1.2.3-70-g09d2