From be4f78978faba3d3ceb88df02a7f93a2e09ff1e0 Mon Sep 17 00:00:00 2001 From: Kenji Hosokawa Date: Tue, 3 Aug 2021 18:42:39 +0900 Subject: Initial commit Bug-AGL: SPEC-4033 Signed-off-by: Kenji Hosokawa --- .../xtend-gen/rba/tool/editor/generator/z3/.gitignore | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore (limited to 'rba.tool.editor/xtend-gen/rba/tool/editor/generator/z3/.gitignore') 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 -- cgit 1.2.3-korg