diff options
author | Mayer Krisztián Gábor <mayer.krisztian.gabor@gmail.com> | 2017-08-08 14:57:04 +0200 |
---|---|---|
committer | Mayer Krisztián Gábor <mayer.krisztian.gabor@gmail.com> | 2017-08-08 14:57:04 +0200 |
commit | 6d3442d703cf5c67862adb81b0495c9ce76be3f5 (patch) | |
tree | 26b6114668463363fa6b5feef934ae3eb9b514a2 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/.classpath | |
parent | Modified LogicSolver to support the use of integer, string and real (diff) | |
download | VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.tar.gz VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.tar.zst VIATRA-Generator-6d3442d703cf5c67862adb81b0495c9ce76be3f5.zip |
Fixed a typo
allNetativeVariablesAreSatisfied -> allNegativeVariablesAreSatisfied
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/.classpath')
0 files changed, 0 insertions, 0 deletions