diff options
| author |   Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2021-08-03 18:42:39 +0900 |
|---|---|---|
| committer | Kenji Hosokawa <khosokawa@jp.adit-jv.com> | 2021-08-06 19:32:38 +0900 |
| commit | be4f78978faba3d3ceb88df02a7f93a2e09ff1e0 (patch) | |
| tree | 1f3f1a96251ac4f655c8a96fc33d5d4ee779cd06 /rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore | |
| parent | 71ca7c6cab863767ef30c8bd05b2bbfda8731cb5 (diff) | |
Initial commit
Bug-AGL: SPEC-4033
Signed-off-by: Kenji Hosokawa <khosokawa@jp.adit-jv.com>
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 |