diff options
Diffstat (limited to 'rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore')
-rw-r--r-- | rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore b/rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore new file mode 100644 index 0000000..cb38916 --- /dev/null +++ b/rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore @@ -0,0 +1,13 @@ +/.IRBAModelZ3Generator.java._trace +/.RBAModelZ3GeneratorImpl.java._trace +/.RBAModeZ3GeneratorImpl.java._trace +/.IRBAModelSortValueGenerator.java._trace +/.RBAModelSortValueGeneratorImpl.java._trace +/.ISortValueGenerator.java._trace +/.SortValueGeneratorImpl.java._trace +/.ConstraintGeneratorImpl.java._trace +/.IConstraintGenerator.java._trace +/ConstraintGeneratorImpl.java +/IConstraintGenerator.java +/ISortValueGenerator.java +/SortValueGeneratorImpl.java |