From 3f5aaab5025b8eb243f414b1c789085327df04f4 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Wed, 20 Mar 2019 16:09:09 +0100 Subject: Fault tree transformation for partial models WIP --- .../dslreasoner/faulttree/transformation/solver/.gitignore | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore') diff --git a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore index 59cc8fe8..8a74c101 100644 --- a/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore +++ b/Stochastic/hu.bme.mit.inf.dslreasoner.faulttree.transformation/xtend-gen/hu/bme/mit/inf/dslreasoner/faulttree/transformation/solver/.gitignore @@ -7,3 +7,14 @@ /.StormDftException.java._trace /.ReliabilityModelSolution.java._trace /.ReliabilityResult.java._trace +/.ReliabilityResult.xtendbin +/.StormDftConfiguration.xtendbin +/.StormDftHandler.xtendbin +/.StormDftSolver.xtendbin +/ApproximationHeuristic.java +/FtAnalysisObjective.java +/ReliabilityResult.java +/StormDftConfiguration.java +/StormDftException.java +/StormDftHandler.java +/StormDftSolver.java -- cgit v1.2.3-70-g09d2