├── .gitignore ├── README.md ├── SPLAR ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── doc │ ├── allclasses-frame.html │ ├── allclasses-noframe.html │ ├── constant-values.html │ ├── deprecated-list.html │ ├── help-doc.html │ ├── index-files │ │ ├── index-1.html │ │ ├── index-10.html │ │ ├── index-11.html │ │ ├── index-12.html │ │ ├── index-13.html │ │ ├── index-14.html │ │ ├── index-15.html │ │ ├── index-16.html │ │ ├── index-17.html │ │ ├── index-18.html │ │ ├── index-19.html │ │ ├── index-2.html │ │ ├── index-20.html │ │ ├── index-21.html │ │ ├── index-22.html │ │ ├── index-23.html │ │ ├── index-3.html │ │ ├── index-4.html │ │ ├── index-5.html │ │ ├── index-6.html │ │ ├── index-7.html │ │ ├── index-8.html │ │ └── index-9.html │ ├── index.html │ ├── overview-frame.html │ ├── overview-summary.html │ ├── overview-tree.html │ ├── package-list │ ├── resources │ │ └── inherit.gif │ ├── serialized-form.html │ ├── splar │ │ ├── apps │ │ │ ├── DevelopmentTests.html │ │ │ ├── SPLOTCatalogConfigurationBackEnd.html │ │ │ ├── class-use │ │ │ │ ├── DevelopmentTests.html │ │ │ │ └── SPLOTCatalogConfigurationBackEnd.html │ │ │ ├── experiments │ │ │ │ ├── Extractor.html │ │ │ │ ├── GenBench.html │ │ │ │ ├── GenFM.html │ │ │ │ ├── JSONFeatureModel.html │ │ │ │ ├── ScalabilityExperiments.html │ │ │ │ ├── TestValidDomains.html │ │ │ │ ├── Tests.html │ │ │ │ ├── class-use │ │ │ │ │ ├── Extractor.html │ │ │ │ │ ├── GenBench.html │ │ │ │ │ ├── GenFM.html │ │ │ │ │ ├── JSONFeatureModel.html │ │ │ │ │ ├── ScalabilityExperiments.html │ │ │ │ │ ├── TestValidDomains.html │ │ │ │ │ └── Tests.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ └── package-use.html │ │ │ ├── generator │ │ │ │ ├── FMGeneratorEngine.html │ │ │ │ ├── FMGeneratorEngineListener.html │ │ │ │ ├── FMGeneratorGUI.html │ │ │ │ ├── FMGeneratorGUIEvent.html │ │ │ │ ├── FMGeneratorGUIListener.html │ │ │ │ ├── FMGeneratorMain.html │ │ │ │ ├── class-use │ │ │ │ │ ├── FMGeneratorEngine.html │ │ │ │ │ ├── FMGeneratorEngineListener.html │ │ │ │ │ ├── FMGeneratorGUI.html │ │ │ │ │ ├── FMGeneratorGUIEvent.html │ │ │ │ │ ├── FMGeneratorGUIListener.html │ │ │ │ │ └── FMGeneratorMain.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ └── package-use.html │ │ │ ├── package-frame.html │ │ │ ├── package-summary.html │ │ │ ├── package-tree.html │ │ │ └── package-use.html │ │ ├── core │ │ │ ├── constraints │ │ │ │ ├── Assignment.html │ │ │ │ ├── BooleanVariable.html │ │ │ │ ├── BooleanVariableInterface.html │ │ │ │ ├── CNFClause.html │ │ │ │ ├── CNFFormula.html │ │ │ │ ├── CNFGenerator.html │ │ │ │ ├── CNFLiteral.html │ │ │ │ ├── CNFLiteralComparator.html │ │ │ │ ├── PropositionalFormula.html │ │ │ │ ├── class-use │ │ │ │ │ ├── Assignment.html │ │ │ │ │ ├── BooleanVariable.html │ │ │ │ │ ├── BooleanVariableInterface.html │ │ │ │ │ ├── CNFClause.html │ │ │ │ │ ├── CNFFormula.html │ │ │ │ │ ├── CNFGenerator.html │ │ │ │ │ ├── CNFLiteral.html │ │ │ │ │ ├── CNFLiteralComparator.html │ │ │ │ │ └── PropositionalFormula.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ ├── package-use.html │ │ │ │ └── parsing │ │ │ │ │ ├── CNFClauseParseException.html │ │ │ │ │ ├── CNFClauseParser.html │ │ │ │ │ ├── PFParseTree.html │ │ │ │ │ ├── PFParser.html │ │ │ │ │ ├── class-use │ │ │ │ │ ├── CNFClauseParseException.html │ │ │ │ │ ├── CNFClauseParser.html │ │ │ │ │ ├── PFParseTree.html │ │ │ │ │ └── PFParser.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ └── package-use.html │ │ │ ├── fm │ │ │ │ ├── FTTraversalNodeSelector.html │ │ │ │ ├── FTTraversals.html │ │ │ │ ├── FeatureGroup.html │ │ │ │ ├── FeatureModel.html │ │ │ │ ├── FeatureModelException.html │ │ │ │ ├── FeatureModelListener.html │ │ │ │ ├── FeatureModelStatistics.html │ │ │ │ ├── FeatureTree.html │ │ │ │ ├── FeatureTreeCellRenderer.html │ │ │ │ ├── FeatureTreeNode.html │ │ │ │ ├── FeatureTreeNodeState.html │ │ │ │ ├── FeatureValueAssignmentException.html │ │ │ │ ├── GroupedFeature.html │ │ │ │ ├── IFNodeRenderer.html │ │ │ │ ├── NodeRenderer.html │ │ │ │ ├── RootNode.html │ │ │ │ ├── SolitaireFeature.html │ │ │ │ ├── TreeNodeRendererFactory.html │ │ │ │ ├── XMLFeatureModel.html │ │ │ │ ├── class-use │ │ │ │ │ ├── FTTraversalNodeSelector.html │ │ │ │ │ ├── FTTraversals.html │ │ │ │ │ ├── FeatureGroup.html │ │ │ │ │ ├── FeatureModel.html │ │ │ │ │ ├── FeatureModelException.html │ │ │ │ │ ├── FeatureModelListener.html │ │ │ │ │ ├── FeatureModelStatistics.html │ │ │ │ │ ├── FeatureTree.html │ │ │ │ │ ├── FeatureTreeCellRenderer.html │ │ │ │ │ ├── FeatureTreeNode.html │ │ │ │ │ ├── FeatureTreeNodeState.html │ │ │ │ │ ├── FeatureValueAssignmentException.html │ │ │ │ │ ├── GroupedFeature.html │ │ │ │ │ ├── IFNodeRenderer.html │ │ │ │ │ ├── NodeRenderer.html │ │ │ │ │ ├── RootNode.html │ │ │ │ │ ├── SolitaireFeature.html │ │ │ │ │ ├── TreeNodeRendererFactory.html │ │ │ │ │ └── XMLFeatureModel.html │ │ │ │ ├── clustering │ │ │ │ │ ├── FTCluster.html │ │ │ │ │ ├── FeatureModelClustersManager.html │ │ │ │ │ ├── NodeCluster.html │ │ │ │ │ ├── class-use │ │ │ │ │ │ ├── FTCluster.html │ │ │ │ │ │ ├── FeatureModelClustersManager.html │ │ │ │ │ │ └── NodeCluster.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ └── package-use.html │ │ │ │ ├── configuration │ │ │ │ │ ├── ConfigurationEngine.html │ │ │ │ │ ├── ConfigurationEngineException.html │ │ │ │ │ ├── ConfigurationStep.html │ │ │ │ │ ├── class-use │ │ │ │ │ │ ├── ConfigurationEngine.html │ │ │ │ │ │ ├── ConfigurationEngineException.html │ │ │ │ │ │ └── ConfigurationStep.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ └── package-use.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ ├── package-use.html │ │ │ │ ├── randomization │ │ │ │ │ ├── Random3CNFFeatureModel.html │ │ │ │ │ ├── RandomFeatureModel.html │ │ │ │ │ ├── RandomFeatureModel2.html │ │ │ │ │ ├── RandomFeatureTreeModel.html │ │ │ │ │ ├── class-use │ │ │ │ │ │ ├── Random3CNFFeatureModel.html │ │ │ │ │ │ ├── RandomFeatureModel.html │ │ │ │ │ │ ├── RandomFeatureModel2.html │ │ │ │ │ │ └── RandomFeatureTreeModel.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ └── package-use.html │ │ │ │ └── reasoning │ │ │ │ │ ├── FMReasoningException.html │ │ │ │ │ ├── FMReasoningInterface.html │ │ │ │ │ ├── class-use │ │ │ │ │ ├── FMReasoningException.html │ │ │ │ │ └── FMReasoningInterface.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ └── package-use.html │ │ │ ├── heuristics │ │ │ │ ├── CustomVariableOrderingHeuristic.html │ │ │ │ ├── ECFT_ClustersPreOrderHeuristic.html │ │ │ │ ├── ECFT_FORCEPreOrderHeuristic.html │ │ │ │ ├── ECFT_PreOrderHeuristic.html │ │ │ │ ├── FORCEVariableOrderingHeuristic.html │ │ │ │ ├── FTAverageOrderTraversalHeuristic.html │ │ │ │ ├── FTPostOrderOptTraversalHeuristic.html │ │ │ │ ├── FTPostOrderTraversalHeuristic.html │ │ │ │ ├── FTPreOrderClustersTraversalHeuristic.html │ │ │ │ ├── FTPreOrderOptTraversalHeuristic.html │ │ │ │ ├── FTPreOrderSortedECTraversalHeuristic.html │ │ │ │ ├── FTPreOrderTraversalHeuristic.html │ │ │ │ ├── FTTraversalHeuristic.html │ │ │ │ ├── RandomVariableOrderingHeuristic.html │ │ │ │ ├── VariableOrderingHeuristic.html │ │ │ │ ├── VariableOrderingHeuristicsManager.html │ │ │ │ ├── class-use │ │ │ │ │ ├── CustomVariableOrderingHeuristic.html │ │ │ │ │ ├── ECFT_ClustersPreOrderHeuristic.html │ │ │ │ │ ├── ECFT_FORCEPreOrderHeuristic.html │ │ │ │ │ ├── ECFT_PreOrderHeuristic.html │ │ │ │ │ ├── FORCEVariableOrderingHeuristic.html │ │ │ │ │ ├── FTAverageOrderTraversalHeuristic.html │ │ │ │ │ ├── FTPostOrderOptTraversalHeuristic.html │ │ │ │ │ ├── FTPostOrderTraversalHeuristic.html │ │ │ │ │ ├── FTPreOrderClustersTraversalHeuristic.html │ │ │ │ │ ├── FTPreOrderOptTraversalHeuristic.html │ │ │ │ │ ├── FTPreOrderSortedECTraversalHeuristic.html │ │ │ │ │ ├── FTPreOrderTraversalHeuristic.html │ │ │ │ │ ├── FTTraversalHeuristic.html │ │ │ │ │ ├── RandomVariableOrderingHeuristic.html │ │ │ │ │ ├── VariableOrderingHeuristic.html │ │ │ │ │ └── VariableOrderingHeuristicsManager.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ └── package-use.html │ │ │ └── util │ │ │ │ ├── CombinationGenerator.html │ │ │ │ ├── Utils.html │ │ │ │ ├── alloy │ │ │ │ ├── FM2AlloyConversor.html │ │ │ │ ├── class-use │ │ │ │ │ └── FM2AlloyConversor.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ └── package-use.html │ │ │ │ ├── class-use │ │ │ │ ├── CombinationGenerator.html │ │ │ │ └── Utils.html │ │ │ │ ├── hypergraphs │ │ │ │ ├── Hyperedge.html │ │ │ │ ├── Hypergraph.html │ │ │ │ ├── Vertex.html │ │ │ │ ├── class-use │ │ │ │ │ ├── Hyperedge.html │ │ │ │ │ ├── Hypergraph.html │ │ │ │ │ └── Vertex.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ └── package-use.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ └── package-use.html │ │ ├── plugins │ │ │ ├── configuration │ │ │ │ ├── bdd │ │ │ │ │ └── javabdd │ │ │ │ │ │ ├── BDDConfigurationEngine.html │ │ │ │ │ │ ├── catalog │ │ │ │ │ │ ├── Product.html │ │ │ │ │ │ ├── ProductCatalog.html │ │ │ │ │ │ ├── ProductComponent.html │ │ │ │ │ │ ├── class-use │ │ │ │ │ │ │ ├── Product.html │ │ │ │ │ │ │ ├── ProductCatalog.html │ │ │ │ │ │ │ └── ProductComponent.html │ │ │ │ │ │ ├── package-frame.html │ │ │ │ │ │ ├── package-summary.html │ │ │ │ │ │ ├── package-tree.html │ │ │ │ │ │ └── package-use.html │ │ │ │ │ │ ├── class-use │ │ │ │ │ │ └── BDDConfigurationEngine.html │ │ │ │ │ │ ├── package-frame.html │ │ │ │ │ │ ├── package-summary.html │ │ │ │ │ │ ├── package-tree.html │ │ │ │ │ │ └── package-use.html │ │ │ │ ├── sat │ │ │ │ │ └── sat4j │ │ │ │ │ │ ├── SATConfigurationEngine.html │ │ │ │ │ │ ├── class-use │ │ │ │ │ │ └── SATConfigurationEngine.html │ │ │ │ │ │ ├── package-frame.html │ │ │ │ │ │ ├── package-summary.html │ │ │ │ │ │ ├── package-tree.html │ │ │ │ │ │ └── package-use.html │ │ │ │ └── tests │ │ │ │ │ ├── ConfigurationEngineTest.html │ │ │ │ │ ├── bdd │ │ │ │ │ └── javabdd │ │ │ │ │ │ ├── BDDConfigurationEngineTest.html │ │ │ │ │ │ ├── class-use │ │ │ │ │ │ └── BDDConfigurationEngineTest.html │ │ │ │ │ │ ├── package-frame.html │ │ │ │ │ │ ├── package-summary.html │ │ │ │ │ │ ├── package-tree.html │ │ │ │ │ │ └── package-use.html │ │ │ │ │ ├── class-use │ │ │ │ │ └── ConfigurationEngineTest.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ ├── package-use.html │ │ │ │ │ └── sat │ │ │ │ │ └── sat4j │ │ │ │ │ ├── SATConfigurationEngineTest.html │ │ │ │ │ ├── class-use │ │ │ │ │ └── SATConfigurationEngineTest.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ └── package-use.html │ │ │ ├── reasoners │ │ │ │ ├── bdd │ │ │ │ │ └── javabdd │ │ │ │ │ │ ├── BDDExceededBuildingTimeException.html │ │ │ │ │ │ ├── BDDGenerationStatistics.html │ │ │ │ │ │ ├── BDDSolutionsIterator.html │ │ │ │ │ │ ├── BDDSolutionsIterator2.html │ │ │ │ │ │ ├── BDDTraversal.html │ │ │ │ │ │ ├── BDDTraversalNodeDFS.html │ │ │ │ │ │ ├── FMReasoningWithBDD.html │ │ │ │ │ │ ├── FTReasoningWithBDD.html │ │ │ │ │ │ ├── PF2BDDParser.html │ │ │ │ │ │ ├── ReasoningWithBDD.html │ │ │ │ │ │ ├── class-use │ │ │ │ │ │ ├── BDDExceededBuildingTimeException.html │ │ │ │ │ │ ├── BDDGenerationStatistics.html │ │ │ │ │ │ ├── BDDSolutionsIterator.html │ │ │ │ │ │ ├── BDDSolutionsIterator2.html │ │ │ │ │ │ ├── BDDTraversal.html │ │ │ │ │ │ ├── BDDTraversalNodeDFS.html │ │ │ │ │ │ ├── FMReasoningWithBDD.html │ │ │ │ │ │ ├── FTReasoningWithBDD.html │ │ │ │ │ │ ├── PF2BDDParser.html │ │ │ │ │ │ └── ReasoningWithBDD.html │ │ │ │ │ │ ├── package-frame.html │ │ │ │ │ │ ├── package-summary.html │ │ │ │ │ │ ├── package-tree.html │ │ │ │ │ │ └── package-use.html │ │ │ │ ├── sat │ │ │ │ │ └── sat4j │ │ │ │ │ │ ├── FMReasoningWithSAT.html │ │ │ │ │ │ ├── FTReasoningWithSAT.html │ │ │ │ │ │ ├── ReasoningWithSAT.html │ │ │ │ │ │ ├── StaticVariableOrderSAT.html │ │ │ │ │ │ ├── class-use │ │ │ │ │ │ ├── FMReasoningWithSAT.html │ │ │ │ │ │ ├── FTReasoningWithSAT.html │ │ │ │ │ │ ├── ReasoningWithSAT.html │ │ │ │ │ │ └── StaticVariableOrderSAT.html │ │ │ │ │ │ ├── package-frame.html │ │ │ │ │ │ ├── package-summary.html │ │ │ │ │ │ ├── package-tree.html │ │ │ │ │ │ └── package-use.html │ │ │ │ └── tests │ │ │ │ │ ├── FMReasoningInterfaceTest.html │ │ │ │ │ ├── bdd │ │ │ │ │ └── javabdd │ │ │ │ │ │ ├── ReasoningWithBDDTest.html │ │ │ │ │ │ ├── class-use │ │ │ │ │ │ └── ReasoningWithBDDTest.html │ │ │ │ │ │ ├── package-frame.html │ │ │ │ │ │ ├── package-summary.html │ │ │ │ │ │ ├── package-tree.html │ │ │ │ │ │ └── package-use.html │ │ │ │ │ ├── class-use │ │ │ │ │ └── FMReasoningInterfaceTest.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ ├── package-use.html │ │ │ │ │ └── sat │ │ │ │ │ └── sat4j │ │ │ │ │ ├── ReasoningWithSATTest.html │ │ │ │ │ ├── class-use │ │ │ │ │ └── ReasoningWithSATTest.html │ │ │ │ │ ├── package-frame.html │ │ │ │ │ ├── package-summary.html │ │ │ │ │ ├── package-tree.html │ │ │ │ │ └── package-use.html │ │ │ └── tests │ │ │ │ ├── AllTests.html │ │ │ │ ├── TestsGlobalContext.html │ │ │ │ ├── class-use │ │ │ │ ├── AllTests.html │ │ │ │ └── TestsGlobalContext.html │ │ │ │ ├── package-frame.html │ │ │ │ ├── package-summary.html │ │ │ │ ├── package-tree.html │ │ │ │ └── package-use.html │ │ └── samples │ │ │ ├── BDDReasoningExample.html │ │ │ ├── SATConfigurationExample.html │ │ │ ├── SATReasoningExample.html │ │ │ ├── class-use │ │ │ ├── BDDReasoningExample.html │ │ │ ├── SATConfigurationExample.html │ │ │ └── SATReasoningExample.html │ │ │ ├── package-frame.html │ │ │ ├── package-summary.html │ │ │ ├── package-tree.html │ │ │ └── package-use.html │ └── stylesheet.css ├── resources │ ├── apagme.xml │ ├── lib │ │ ├── gson-1.6.jar │ │ ├── javabdd.jar │ │ ├── junit.jar │ │ ├── opencsv-1.8.jar │ │ └── org.sat4j.core.jar │ ├── models │ │ └── simple_bike_fm.xml │ └── tests │ │ ├── test_fm_configuration.xml │ │ ├── test_fm_consistent.xml │ │ └── test_fm_inconsistent.xml └── src │ └── splar │ ├── apps │ ├── DevelopmentTests.java │ ├── SPLOTCatalogConfigurationBackEnd.java │ ├── experiments │ │ ├── Extractor.java │ │ ├── GenBench.java │ │ ├── GenFM.java │ │ ├── JSONFeatureModel.java │ │ ├── ScalabilityExperiments.java │ │ ├── TestValidDomains.java │ │ └── Tests.java │ └── generator │ │ ├── FMGeneratorEngine.java │ │ └── FMGeneratorEngineListener.java │ ├── core │ ├── constraints │ │ ├── Assignment.java │ │ ├── BooleanVariable.java │ │ ├── BooleanVariableInterface.java │ │ ├── CNFClause.java │ │ ├── CNFFormula.java │ │ ├── CNFGenerator.java │ │ ├── CNFLiteral.java │ │ ├── CNFLiteralComparator.java │ │ ├── PropositionalFormula.java │ │ └── parsing │ │ │ ├── CNFClauseParseException.java │ │ │ ├── CNFClauseParser.java │ │ │ ├── PFParseTree.java │ │ │ └── PFParser.java │ ├── fm │ │ ├── FTTraversalNodeSelector.java │ │ ├── FTTraversals.java │ │ ├── FeatureGroup.java │ │ ├── FeatureModel.java │ │ ├── FeatureModelException.java │ │ ├── FeatureModelListener.java │ │ ├── FeatureModelState.java │ │ ├── FeatureModelStatistics.java │ │ ├── FeatureTree.java │ │ ├── FeatureTreeNode.java │ │ ├── FeatureTreeNodeState.java │ │ ├── FeatureValueAssignmentException.java │ │ ├── GroupedFeature.java │ │ ├── RootNode.java │ │ ├── SolitaireFeature.java │ │ ├── XMLFeatureModel.java │ │ ├── clustering │ │ │ ├── FTCluster.java │ │ │ ├── FeatureModelClustersManager.java │ │ │ └── NodeCluster.java │ │ ├── configuration │ │ │ ├── ConfigurationEngine.java │ │ │ ├── ConfigurationEngineException.java │ │ │ └── ConfigurationStep.java │ │ ├── randomization │ │ │ ├── Random3CNFFeatureModel.java │ │ │ ├── RandomFeatureModel.java │ │ │ ├── RandomFeatureModel2.java │ │ │ └── RandomFeatureTreeModel.java │ │ └── reasoning │ │ │ ├── FMReasoningException.java │ │ │ └── FMReasoningInterface.java │ ├── heuristics │ │ ├── CustomVariableOrderingHeuristic.java │ │ ├── ECFT_ClustersPreOrderHeuristic.java │ │ ├── ECFT_FORCEPreOrderHeuristic.java │ │ ├── ECFT_PreOrderHeuristic.java │ │ ├── FORCEVariableOrderingHeuristic.java │ │ ├── FTAverageOrderTraversalHeuristic.java │ │ ├── FTPostOrderOptTraversalHeuristic.java │ │ ├── FTPostOrderTraversalHeuristic.java │ │ ├── FTPreOrderClustersTraversalHeuristic.java │ │ ├── FTPreOrderOptTraversalHeuristic.java │ │ ├── FTPreOrderSortedECTraversalHeuristic.java │ │ ├── FTPreOrderTraversalHeuristic.java │ │ ├── FTTraversalHeuristic.java │ │ ├── RandomVariableOrderingHeuristic.java │ │ ├── VariableOrderingHeuristic.java │ │ └── VariableOrderingHeuristicsManager.java │ └── util │ │ ├── CombinationGenerator.java │ │ ├── Utils.java │ │ ├── alloy │ │ └── FM2AlloyConversor.java │ │ └── hypergraphs │ │ ├── Hyperedge.java │ │ ├── Hypergraph.java │ │ └── Vertex.java │ ├── plugins │ ├── configuration │ │ ├── bdd │ │ │ └── javabdd │ │ │ │ ├── BDDConfigurationEngine.java │ │ │ │ └── catalog │ │ │ │ ├── Product.java │ │ │ │ ├── ProductCatalog.java │ │ │ │ └── ProductComponent.java │ │ ├── sat │ │ │ └── sat4j │ │ │ │ └── SATConfigurationEngine.java │ │ └── tests │ │ │ ├── ConfigurationEngineTest.java │ │ │ ├── bdd │ │ │ └── javabdd │ │ │ │ └── BDDConfigurationEngineTest.java │ │ │ └── sat │ │ │ └── sat4j │ │ │ └── SATConfigurationEngineTest.java │ ├── reasoners │ │ ├── bdd │ │ │ └── javabdd │ │ │ │ ├── BDDExceededBuildingTimeException.java │ │ │ │ ├── BDDGenerationStatistics.java │ │ │ │ ├── BDDSolutionsIterator.java │ │ │ │ ├── BDDSolutionsIterator2.java │ │ │ │ ├── BDDTraversal.java │ │ │ │ ├── BDDTraversalNodeDFS.java │ │ │ │ ├── FMReasoningWithBDD.java │ │ │ │ ├── FTReasoningWithBDD.java │ │ │ │ ├── PF2BDDParser.java │ │ │ │ └── ReasoningWithBDD.java │ │ ├── sat │ │ │ └── sat4j │ │ │ │ ├── FMReasoningWithSAT.java │ │ │ │ ├── FTReasoningWithSAT.java │ │ │ │ ├── ReasoningWithSAT.java │ │ │ │ └── StaticVariableOrderSAT.java │ │ └── tests │ │ │ ├── FMReasoningInterfaceTest.java │ │ │ ├── bdd │ │ │ └── javabdd │ │ │ │ └── ReasoningWithBDDTest.java │ │ │ └── sat │ │ │ └── sat4j │ │ │ └── ReasoningWithSATTest.java │ └── tests │ │ ├── AllTests.java │ │ └── TestsGlobalContext.java │ └── samples │ ├── BDDReasoningExample.java │ ├── SATConfigurationExample.java │ └── SATReasoningExample.java ├── changes to other bvr projects.txt ├── de.ovgu.featureide.fm.core ├── .classpath ├── .options ├── .project ├── .settings │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.jdt.ui.prefs ├── Conventions.xml ├── LinkedList.xml ├── META-INF │ └── MANIFEST.MF ├── Velvet.g ├── build.properties ├── codetemplates.xml ├── fm.dtd ├── lib │ ├── annotations.jar │ ├── antlr-3.4.jar │ ├── guava-r09.jar │ ├── guidsl.jar │ ├── jakarta.jar │ ├── org.sat4j.core.jar │ └── org.sat4j.pb.jar ├── license.txt ├── plugin.xml ├── schema │ └── fmComposer.exsd ├── siegmund.dtd.txt ├── src │ ├── de │ │ └── ovgu │ │ │ └── featureide │ │ │ └── fm │ │ │ └── core │ │ │ ├── AWaitingJob.java │ │ │ ├── AbstractCorePlugin.java │ │ │ ├── ColorList.java │ │ │ ├── ColorschemeTable.java │ │ │ ├── Constraint.java │ │ │ ├── ConstraintAttribute.java │ │ │ ├── Constraints.java │ │ │ ├── DeprecatedFeatureModel.java │ │ │ ├── EmptyColorschemeTable.java │ │ │ ├── ExtendedConstraint.java │ │ │ ├── ExtendedFeature.java │ │ │ ├── ExtendedFeatureModel.java │ │ │ ├── FMComposerExtension.java │ │ │ ├── FMComposerManager.java │ │ │ ├── FMCorePlugin.java │ │ │ ├── FMPoint.java │ │ │ ├── Feature.java │ │ │ ├── FeatureComparator.java │ │ │ ├── FeatureConnection.java │ │ │ ├── FeatureDependencies.java │ │ │ ├── FeatureModel.java │ │ │ ├── FeatureModelAnalyzer.java │ │ │ ├── FeatureModelFile.java │ │ │ ├── FeatureModelLayout.java │ │ │ ├── FeatureStatus.java │ │ │ ├── Features.java │ │ │ ├── FunctionalInterfaces.java │ │ │ ├── IFMComposerExtension.java │ │ │ ├── IGraphicItem.java │ │ │ ├── IModelMarkerHandler.java │ │ │ ├── ModelMarkerHandler.java │ │ │ ├── Operator.java │ │ │ ├── Preferences.java │ │ │ ├── PropertyConstants.java │ │ │ ├── Renaming.java │ │ │ ├── RenamingsManager.java │ │ │ ├── SingleJob.java │ │ │ ├── StoppableJob.java │ │ │ ├── configuration │ │ │ ├── AutomaticalSelectionNotPossibleException.java │ │ │ ├── Configuration.java │ │ │ ├── ConfigurationFormat.java │ │ │ ├── ConfigurationPropagator.java │ │ │ ├── ConfigurationPropagatorJobWrapper.java │ │ │ ├── ConfigurationReader.java │ │ │ ├── ConfigurationWriter.java │ │ │ ├── DefaultFormat.java │ │ │ ├── FeatureIDEFormat.java │ │ │ ├── FeatureNotFoundException.java │ │ │ ├── FeatureOrderReader.java │ │ │ ├── SelectableFeature.java │ │ │ ├── Selection.java │ │ │ ├── SelectionNotPossibleException.java │ │ │ └── TreeElement.java │ │ │ ├── constraint │ │ │ ├── Equation.java │ │ │ ├── FeatureAttribute.java │ │ │ ├── FeatureAttributeMap.java │ │ │ ├── Reference.java │ │ │ ├── ReferenceType.java │ │ │ ├── RelationOperator.java │ │ │ ├── WeightedTerm.java │ │ │ └── analysis │ │ │ │ ├── DeRestriction.java │ │ │ │ ├── DeRestrictionFactory.java │ │ │ │ ├── ExtendedFeatureModelAnalyzer.java │ │ │ │ ├── PBSolver.java │ │ │ │ ├── Restriction.java │ │ │ │ ├── RestrictionFactory.java │ │ │ │ ├── SAT4JPBSolver.java │ │ │ │ ├── Term.java │ │ │ │ ├── Translator.java │ │ │ │ └── UniqueId.java │ │ │ ├── editing │ │ │ ├── Comparison.java │ │ │ ├── ExampleCalculator.java │ │ │ ├── ModelComparator.java │ │ │ ├── NodeCreator.java │ │ │ └── evaluation │ │ │ │ ├── Evaluation.java │ │ │ │ └── Generator.java │ │ │ ├── io │ │ │ ├── AbstractFeatureModelReader.java │ │ │ ├── AbstractFeatureModelWriter.java │ │ │ ├── FeatureModelReaderIFileWrapper.java │ │ │ ├── FeatureModelWriterIFileWrapper.java │ │ │ ├── IFeatureModelReader.java │ │ │ ├── IFeatureModelWriter.java │ │ │ ├── IOConstants.java │ │ │ ├── ModelIOFactory.java │ │ │ ├── ModelWarning.java │ │ │ ├── UnsupportedModelException.java │ │ │ ├── guidsl │ │ │ │ ├── GuidslReader.java │ │ │ │ └── GuidslWriter.java │ │ │ ├── splconquerer │ │ │ │ └── ConquererFMWriter.java │ │ │ ├── sxfm │ │ │ │ ├── SXFMReader.java │ │ │ │ └── SXFMWriter.java │ │ │ ├── velvet │ │ │ │ ├── Velvet.tokens │ │ │ │ ├── VelvetFeatureModelReader.java │ │ │ │ ├── VelvetFeatureModelWriter.java │ │ │ │ ├── VelvetLexer.java │ │ │ │ └── VelvetParser.java │ │ │ ├── waterloo │ │ │ │ ├── WaterlooReader.java │ │ │ │ └── WaterlooWriter.java │ │ │ └── xml │ │ │ │ ├── PositionalXMLReader.java │ │ │ │ ├── XMLFeatureModelTags.java │ │ │ │ ├── XmlColorModelReader.java │ │ │ │ ├── XmlColorModelWriter.java │ │ │ │ ├── XmlFeatureModelReader.java │ │ │ │ └── XmlFeatureModelWriter.java │ │ │ └── job │ │ │ ├── AJob.java │ │ │ ├── AProjectJob.java │ │ │ ├── AStoppableJob.java │ │ │ ├── AbstractJob.java │ │ │ ├── IJob.java │ │ │ ├── IProjectJob.java │ │ │ ├── IStoppableJob.java │ │ │ ├── WorkMonitor.java │ │ │ └── util │ │ │ ├── JobArguments.java │ │ │ ├── JobFinishListener.java │ │ │ └── JobSequence.java │ └── org │ │ └── prop4j │ │ ├── And.java │ │ ├── AtLeast.java │ │ ├── AtMost.java │ │ ├── Choose.java │ │ ├── Equals.java │ │ ├── Implies.java │ │ ├── Literal.java │ │ ├── Node.java │ │ ├── NodeReader.java │ │ ├── NodeWriter.java │ │ ├── Not.java │ │ ├── Or.java │ │ └── SatSolver.java └── test │ ├── testmodel_01_invalid.velvet │ ├── testmodel_02_valid.velvet │ └── testmodel_03_invalid.velvet ├── docs ├── VARIES_D4.2_v01_PP_FINAL.pdf └── VARIES_D4.3_v01_PU_FINAL.pdf ├── no.sintef.bvr.common ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── lib │ └── guava-14.0.1.jar ├── pom.xml └── src │ ├── main │ ├── java │ │ └── no │ │ │ └── sintef │ │ │ └── bvr │ │ │ └── common │ │ │ ├── CommonUtility.java │ │ │ ├── OSDetector.java │ │ │ ├── engine │ │ │ └── error │ │ │ │ ├── BasicBVREngineException.java │ │ │ │ ├── ContainmentBVRModelException.java │ │ │ │ ├── GeneralBVREngineException.java │ │ │ │ ├── IllegalBVROperation.java │ │ │ │ ├── IncorrectBVRModel.java │ │ │ │ ├── UnexpectedOperationFailure.java │ │ │ │ └── UnimplementedException.java │ │ │ └── logging │ │ │ ├── ConsoleLogger.java │ │ │ ├── Logger.java │ │ │ └── ResetableLogger.java │ └── resources │ │ └── README │ └── test │ ├── java │ └── README │ └── resources │ └── README ├── no.sintef.bvr.constraints.interfaces ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html └── src │ └── no │ └── sintef │ └── bvr │ └── constraints │ └── interfaces │ └── strategy │ ├── IBCLBuilderStrategy.java │ └── IConstraintFinderStrategy.java ├── no.sintef.bvr.constraints.test ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── bvr.properties ├── epl-v10.html ├── resources │ └── vmbase.bvr └── src │ └── no │ └── sintef │ └── bvr │ └── constraints │ └── test │ ├── Activator.java │ └── strategy │ └── TestBVRToolBCLBuilderStrategy.java ├── no.sintef.bvr.constraints ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── TestData │ ├── BCL.g4 │ ├── ConfigurableUnit.xmi │ ├── ConstraintChecking │ │ ├── test1.xmi │ │ ├── test2.xmi │ │ ├── test3.xmi │ │ ├── test4.xmi │ │ └── test5.xmi │ ├── pp.ocl │ ├── test.hl │ ├── test1.bcl │ ├── test1.xmi │ ├── test10.bcl │ ├── test11.bcl │ ├── test12.bcl │ ├── test13.bcl │ ├── test14.bcl │ ├── test15.bcl │ ├── test16.bcl │ ├── test17.bcl │ ├── test18.bcl │ ├── test19.bcl │ ├── test1at.bcl │ ├── test2.bcl │ ├── test2.xmi │ ├── test3.bcl │ ├── test3.xmi │ ├── test4.bcl │ ├── test5.bcl │ ├── test6.bcl │ ├── test7.bcl │ ├── test8.bcl │ └── test9.bcl ├── build.properties ├── epl-v10.html ├── generated │ └── no │ │ └── sintef │ │ └── bvr │ │ └── constraints │ │ └── bcl │ │ ├── BCLBaseListener.java │ │ ├── BCLLexer.java │ │ ├── BCLListener.java │ │ └── BCLParser.java ├── lib │ └── antlr-4.5-complete.jar ├── originals │ └── grammar.txt ├── src │ └── no │ │ └── sintef │ │ └── bvr │ │ └── constraints │ │ ├── bcl │ │ ├── BCLBuilder.java │ │ ├── BCLChecker.java │ │ └── Loader.java │ │ └── strategy │ │ ├── BVRToolBCLBuilderStrategy.java │ │ ├── ContextConstraintFinderStrategy.java │ │ └── DefaultTestBCLBuilderStartegy.java ├── test │ ├── BCLBaseListener.java │ ├── BCLLexer.java │ ├── BCLListener.java │ ├── BCLParser.java │ └── no │ │ └── sintef │ │ └── bvr │ │ └── constraints │ │ └── bcl │ │ ├── testBCL.java │ │ └── testBCLModel.java └── tmp │ └── JaCoPBCLChecker.java ├── no.sintef.bvr.dvl.config.model.edit ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── icons │ └── full │ │ ├── ctool16 │ │ ├── CreateConfig_goals_Goal.gif │ │ ├── CreateConfig_goals_State.gif │ │ ├── CreateConfig_operators_Operator.gif │ │ ├── CreateConfig_original_Original.gif │ │ ├── CreateConfig_original_State.gif │ │ ├── CreateConfig_realop_Realop.gif │ │ ├── CreateConfig_relop_Realop.gif │ │ ├── CreateConfig_relop_Relop.gif │ │ └── CreateConfig_resources_Resource.gif │ │ └── obj16 │ │ ├── Config.gif │ │ ├── Goal.gif │ │ ├── Operator.gif │ │ ├── Original.gif │ │ ├── Realop.gif │ │ ├── Relop.gif │ │ ├── Resource.gif │ │ └── State.gif ├── plugin.properties ├── plugin.xml └── src │ └── dvlconfig │ └── provider │ ├── ConfigItemProvider.java │ ├── DvlconfigEditPlugin.java │ ├── DvlconfigItemProviderAdapterFactory.java │ ├── GoalItemProvider.java │ ├── LocatableItemProvider.java │ ├── OperatorItemProvider.java │ ├── OriginalItemProvider.java │ ├── RealopItemProvider.java │ ├── ResourceItemProvider.java │ └── StateItemProvider.java ├── no.sintef.bvr.dvl.config.model.editor ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── icons │ └── full │ │ ├── obj16 │ │ └── DvlconfigModelFile.gif │ │ └── wizban │ │ └── NewDvlconfig.gif ├── plugin.properties ├── plugin.xml └── src │ └── dvlconfig │ └── presentation │ ├── DvlconfigActionBarContributor.java │ ├── DvlconfigEditor.java │ ├── DvlconfigEditorPlugin.java │ └── DvlconfigModelWizard.java ├── no.sintef.bvr.dvl.config.model ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── model │ ├── dvlconfig.ecore │ └── dvlconfig.genmodel ├── plugin.properties ├── plugin.xml └── src │ └── dvlconfig │ ├── Config.java │ ├── DvlconfigFactory.java │ ├── DvlconfigPackage.java │ ├── Goal.java │ ├── Locatable.java │ ├── Operator.java │ ├── Original.java │ ├── Realop.java │ ├── Resource.java │ ├── State.java │ ├── impl │ ├── ConfigImpl.java │ ├── DvlconfigFactoryImpl.java │ ├── DvlconfigPackageImpl.java │ ├── GoalImpl.java │ ├── LocatableImpl.java │ ├── OperatorImpl.java │ ├── OriginalImpl.java │ ├── RealopImpl.java │ ├── ResourceImpl.java │ └── StateImpl.java │ └── util │ ├── DvlconfigAdapterFactory.java │ └── DvlconfigSwitch.java ├── no.sintef.bvr.dvl.execution.interfaces ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties └── src │ └── no │ └── sintef │ └── bvr │ └── dvl │ └── execution │ └── interfaces │ ├── errors │ ├── ConfigError.java │ ├── OperatorsNotLocatedError.java │ ├── PlannerError.java │ └── RealisationError.java │ └── main │ └── IDVLExecutor.java ├── no.sintef.bvr.dvl.execution.popup ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── dvl │ └── execution │ └── popup │ ├── Activator.java │ └── popup │ └── actions │ └── BVRDVLExecute.java ├── no.sintef.bvr.dvl.execution ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── libs │ ├── Planner-0.1-SNAPSHOT.jar │ ├── guice-4.0.jar │ ├── no.sintef.autorealspl.converter-0.0.1-SNAPSHOT.jar │ └── no.sintef.autorealspl.converter.interfaces-0.0.1-SNAPSHOT.jar └── src │ └── no │ └── sintef │ └── bvr │ └── dvl │ └── execution │ ├── autoreal │ ├── EcoreModelOperatorConverter.java │ └── EcoreModelOperatorsReader.java │ └── main │ └── DVLExecutor.java ├── no.sintef.bvr.dvl.goalgen.interfaces ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties └── src │ └── no │ └── sintef │ └── bvr │ └── dvl │ └── goalgen │ └── interfaces │ ├── main │ └── IGoalGenerator.java │ └── pojo │ ├── IFeature.java │ └── IProduct.java ├── no.sintef.bvr.dvl.goalgen.popup ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── dvl │ └── goalgen │ └── popup │ ├── Activator.java │ └── popup │ └── actions │ └── ExtractResolutions.java ├── no.sintef.bvr.dvl.goalgen ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties └── src │ └── no │ └── sintef │ └── bvr │ └── dvl │ └── goalgen │ ├── main │ └── GoalGenerator.java │ └── pojo │ ├── Feature.java │ └── Product.java ├── no.sintef.bvr.engine.interfaces ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html └── src │ └── no │ └── sintef │ └── bvr │ └── engine │ └── interfaces │ ├── adjacent │ ├── IAdjacentFinder.java │ ├── IAdjacentFragment.java │ └── IAdjacentResolver.java │ ├── common │ ├── IBVRElementDeepCopier.java │ ├── IBVRFragmentCopier.java │ ├── IEngineUtility.java │ ├── IHolderDataElement.java │ ├── IResourceContentCopier.java │ └── ISubstitutionEngine.java │ ├── fragment │ ├── IElementHolder.java │ ├── IElementHolderOIF.java │ ├── IFragSubHolder.java │ ├── IPlacementElementHolder.java │ └── IReplacementElementHolder.java │ ├── logging │ └── ILogger.java │ ├── operation │ ├── IOperation.java │ └── ISubstitution.java │ └── strategy │ ├── IPlacementElementFinderStrategy.java │ └── IReplacementElementFinderStrategy.java ├── no.sintef.bvr.engine.test ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html └── src │ └── test │ ├── java │ └── no │ │ └── sintef │ │ └── bvr │ │ └── engine │ │ ├── adjacent │ │ ├── FragmentSubstitutionAdjacentBasicTest.java │ │ ├── FragmentSubstitutionAdjacentBoundaryRefMismatchTest.java │ │ ├── FragmentSubstitutionAdjacentNtoMNullTest.java │ │ ├── FragmentSubstitutionAdjacentTest.java │ │ ├── FragmentSubstitutionAdjacentTwins1Test.java │ │ ├── FragmentSubstitutionAdjacentTwins2EngineInterfaceTest.java │ │ ├── FragmentSubstitutionAdjacentTwins2Test.java │ │ ├── FragmentSubstitutionAdjacentTwinsTest.java │ │ └── FragmentSubstitutionRealisticUMLTest.java │ │ ├── deleteme │ │ ├── FragmentSubstitutionAdjacentEst.java │ │ └── FragmentSubstitutionTestToDelete.java │ │ ├── fragment │ │ ├── PlacementElementHolderTest.java │ │ └── ReplacementElementHolderTest.java │ │ ├── operation │ │ ├── FragmentSubstitutionCardinalityInvalidTest.java │ │ ├── FragmentSubstitutionCardinalityNTest.java │ │ ├── FragmentSubstitutionCardinalityTest.java │ │ ├── FragmentSubstitutionContainment1Test.java │ │ ├── FragmentSubstitutionContainmentTest.java │ │ ├── FragmentSubstitutionNtoMTrivialTest.java │ │ ├── FragmentSubstitutionPElementHolderTest.java │ │ └── FragmentSubstitutionTrivialTest.java │ │ └── testutils │ │ └── SetUpUtils.java │ └── resources │ ├── adjacentBoundaryRefMismatch │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── boundaryRefMismatch.bvr │ ├── boundaryRefMismatchbvr2.bvr │ ├── expected_packagesBase.uml │ ├── model_new.uml │ ├── packagesBase.di │ ├── packagesBase.notation │ ├── packagesBase.uml │ ├── packagesLib.di │ ├── packagesLib.notation │ └── packagesLib.uml │ ├── adjacentTwins │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── adjtwins.bvr │ ├── adjtwinsbvr2.bvr │ ├── base.node │ ├── base_new.node │ ├── expected.node │ ├── lib.node │ └── node.ecore │ ├── adjacentTwins1 │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── adjtwins.bvr │ ├── adjtwinsbvr2.bvr │ ├── base.node │ ├── base_new.node │ ├── expected.node │ ├── lib.node │ └── node.ecore │ ├── adjacentTwins2 │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── adjtwins.bvr │ ├── adjtwinsbvr2.bvr │ ├── base.node │ ├── base_new.node │ ├── expected.node │ ├── lib.node │ └── node.ecore │ ├── node6 │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── base.node │ ├── base_new.node │ ├── lib.node │ ├── node.ecore │ ├── node.new.bvr │ ├── node.newbvr2.bvr │ ├── prod0.node │ ├── prod1.node │ ├── prod2.node │ └── prod3.node │ ├── node9-7 │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── base.node │ ├── base_new.node │ ├── bvr.ecore │ ├── lib.node │ ├── node.ecore │ ├── node.new.bvr │ ├── node.newbvr2.bvr │ ├── prod0.node │ ├── prod1.node │ └── prod2.node │ ├── nodeAdjacent │ ├── exp1 │ │ ├── BVRMetamodel.ecore │ │ ├── BVRMetamodel5.ecore │ │ ├── base.node │ │ ├── base_new.node │ │ ├── bvr.ecore │ │ ├── lib.node │ │ ├── node.bvr │ │ ├── node.bvr_diagram │ │ ├── node.ecore │ │ ├── node.new.bvr │ │ ├── node.newbvr2.bvr │ │ ├── prod0.node │ │ └── prod1.node │ └── exp2 │ │ ├── BVRMetamodel.ecore │ │ ├── BVRMetamodel5.ecore │ │ ├── base.node │ │ ├── base_new.node │ │ ├── bvr.ecore │ │ ├── lib.node │ │ ├── node.bvr │ │ ├── node.bvr_diagram │ │ ├── node.ecore │ │ ├── node.new.bvr │ │ ├── node.newbvr2.bvr │ │ ├── prod0.node │ │ ├── prod1.node │ │ ├── prod3.node │ │ ├── prod4.node │ │ ├── prod5.node │ │ └── prod6.node │ ├── nodeCardinality1 │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── base.node │ ├── base_new.node │ ├── lib.node │ ├── node.ecore │ ├── node.new.bvr │ ├── node.newbvr2.bvr │ └── prod0.node │ ├── nodeCardinalityInvalid │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── base.node │ ├── lib.node │ ├── node.ecore │ ├── node.new.bvr │ ├── node.newbvr2.bvr │ └── prod0.node │ ├── nodeCardinalityN │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── base.node │ ├── base_new.node │ ├── lib.node │ ├── node.ecore │ ├── node.new.bvr │ ├── node.newbvr2.bvr │ ├── prod0.node │ ├── prod1.node │ └── prod2.node │ ├── nodeContainment │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── base.node │ ├── bvr.ecore │ ├── lib.node │ ├── node.ecore │ ├── node.new.bvr │ ├── node.newbvr2.bvr │ ├── prod0.node │ ├── prod1.node │ ├── prod2.node │ └── prod3.node │ ├── nodeContainment1 │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel5.ecore │ ├── base.node │ ├── base_new.node │ ├── bvr.ecore │ ├── lib.node │ ├── node.ecore │ ├── node.new.bvr │ ├── node.newbvr2.bvr │ ├── prod0.node │ ├── prod1.node │ └── prod3.node │ ├── nodeNtoM │ └── exp1 │ │ ├── BVRMetamodel5.ecore │ │ ├── base.node │ │ ├── base_new.node │ │ ├── lib.node │ │ ├── node.bvr │ │ ├── node.bvr_diagram │ │ ├── node.ecore │ │ ├── node.new.bvr │ │ ├── node.newbvr2.bvr │ │ ├── prod0.node │ │ ├── prod1.node │ │ └── prod2.node │ └── realistic │ └── modelSafetyModule0 │ ├── BVRMetamodel5.ecore │ ├── SafetyDrive.bvr │ ├── SafetyDrive.bvr_diagram │ ├── SafetyDrive.cor.new.bvr │ ├── SafetyDrive.cor.newbvr2.bvr │ ├── UML.ecore │ ├── lib.di │ ├── lib.notation │ ├── lib.uml │ ├── model.di │ ├── model.notation │ ├── model.uml │ ├── model │ ├── Ecore.ecore │ ├── Types.ecore │ └── Types.genmodel │ ├── model_new.uml │ └── prod0.uml ├── no.sintef.bvr.engine ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ ├── MANIFEST.MF │ └── beans.xml ├── build.properties ├── class1.ucls ├── classes.ucls ├── epl-v10.html ├── lib │ ├── batik-util-1.6-1.jar │ ├── commons-logging-1.1.1.jar │ ├── spring-asm-3.1.3.RELEASE.jar │ ├── spring-beans-3.1.3.RELEASE.jar │ ├── spring-context-3.1.3.RELEASE.jar │ ├── spring-core-3.1.3.RELEASE.jar │ └── spring-expression-3.1.3.RELEASE.jar ├── package.ucls ├── pom.xml └── src │ └── main │ ├── java │ └── no │ │ └── sintef │ │ └── bvr │ │ └── engine │ │ ├── adjacent │ │ └── impl │ │ │ ├── AdjacentFinderImpl.java │ │ │ ├── AdjacentFragmentImpl.java │ │ │ └── AdjacentResolverImpl.java │ │ ├── common │ │ ├── BVRElementDeepCopier.java │ │ ├── BVRFragmentCopier.java │ │ ├── EngineUtility.java │ │ ├── EngineUtilityFacade.java │ │ ├── HolderDataElement.java │ │ ├── ResourceContentCopier.java │ │ ├── SubstitutionContext.java │ │ └── SubstitutionEngine.java │ │ ├── containment │ │ ├── ReplacPlacCotainmentFinder.java │ │ └── ReplacPlacCotainmentResolver.java │ │ ├── crossing │ │ └── PlacementCrossingFinder.java │ │ ├── fragment │ │ ├── AbstractElementFinder.java │ │ └── impl │ │ │ ├── BasicElementHolder.java │ │ │ ├── FragmentSubstitutionHolder.java │ │ │ ├── PlacementElementHolder.java │ │ │ ├── PlacementOldNewHolder.java │ │ │ ├── ReplacementElementHolder.java │ │ │ ├── StrategyPlacementElemenetFinder.java │ │ │ └── StrategyReplacementElementFinder.java │ │ ├── logging │ │ └── impl │ │ │ └── ConsoleEngineLogger.java │ │ └── operation │ │ └── impl │ │ └── FragmentSubOperation.java │ └── resources │ ├── META-INF │ └── beans.xml │ └── log4j.properties ├── no.sintef.bvr.model.edit ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── icons │ └── full │ │ ├── ctool16 │ │ ├── CreateBCLConstraint_expression_BCLExpression.gif │ │ ├── CreateBCLConstraint_expression_BooleanLiteralExp.gif │ │ ├── CreateBCLConstraint_expression_IntegerLiteralExp.gif │ │ ├── CreateBCLConstraint_expression_NumericLiteralExp.gif │ │ ├── CreateBCLConstraint_expression_OperationCallExp.gif │ │ ├── CreateBCLConstraint_expression_RealLiteralExp.gif │ │ ├── CreateBCLConstraint_expression_StringLiteralExp.gif │ │ ├── CreateBCLConstraint_expression_TargetRef.gif │ │ ├── CreateBCLConstraint_expression_UnlimitedLiteralExp.gif │ │ ├── CreateBVRModel_baseModelBase_ObjectHandle.gif │ │ ├── CreateBVRModel_baseModelLibraries_ObjectHandle.gif │ │ ├── CreateBVRModel_realizationModel_FragmentSubstitution.gif │ │ ├── CreateBVRModel_realizationModel_OpaqueVariationPoint.gif │ │ ├── CreateBVRModel_realizationModel_ParametricSlotAssignment.gif │ │ ├── CreateBVRModel_realizationModel_PlacementFragment.gif │ │ ├── CreateBVRModel_realizationModel_SlotAssignment.gif │ │ ├── CreateBVRModel_realizationModel_StagedVariationPoint.gif │ │ ├── CreateBVRModel_resolutionModels_PosResolution.gif │ │ ├── CreateBVRModel_resolutionModels_ResolutionLiteralDefinition.gif │ │ ├── CreateBVRModel_variabilityModel_Choice.gif │ │ ├── CreateBVRModel_variabilityModel_VClassifier.gif │ │ ├── CreateBVRModel_variabilityModel_VType.gif │ │ ├── CreateCompoundNode_member_Choice.gif │ │ ├── CreateCompoundNode_member_ChoiceOccurrence.gif │ │ ├── CreateCompoundNode_member_VClassOccurrence.gif │ │ ├── CreateCompoundNode_member_VClassifier.gif │ │ ├── CreateCompoundNode_member_VType.gif │ │ ├── CreateCompoundNode_ownedTargets_Target.gif │ │ ├── CreateCompoundResolution_members_NegResolution.gif │ │ ├── CreateCompoundResolution_members_PosResolution.gif │ │ ├── CreateCompoundResolution_members_ResolutionLiteralDefinition.gif │ │ ├── CreateCompoundResolution_members_ResolutionLiteralUse.gif │ │ ├── CreateCompoundResolution_members_ValueResolution.gif │ │ ├── CreateFragmentSubstitution_boundaryElementBinding_FromBinding.gif │ │ ├── CreateFragmentSubstitution_boundaryElementBinding_ToBinding.gif │ │ ├── CreateNamedElement_note_Note.gif │ │ ├── CreateOVPType_spec_OVPSemanticSpec.gif │ │ ├── CreateOpaqueVariationPoint_placeHolder_ObjectHandle.gif │ │ ├── CreateOperationCallExp_argument_BCLExpression.gif │ │ ├── CreateOperationCallExp_argument_BooleanLiteralExp.gif │ │ ├── CreateOperationCallExp_argument_IntegerLiteralExp.gif │ │ ├── CreateOperationCallExp_argument_NumericLiteralExp.gif │ │ ├── CreateOperationCallExp_argument_OperationCallExp.gif │ │ ├── CreateOperationCallExp_argument_RealLiteralExp.gif │ │ ├── CreateOperationCallExp_argument_StringLiteralExp.gif │ │ ├── CreateOperationCallExp_argument_TargetRef.gif │ │ ├── CreateOperationCallExp_argument_UnlimitedLiteralExp.gif │ │ ├── CreateParametricSlotAssignment_slotOwner_ObjectHandle.gif │ │ ├── CreatePlacementFragment_placementBoundaryElement_FromPlacement.gif │ │ ├── CreatePlacementFragment_placementBoundaryElement_ToPlacement.gif │ │ ├── CreatePlacementFragment_sourceObject_ObjectHandle.gif │ │ ├── CreatePrimitiveValueSpecification_expression_BCLExpression.gif │ │ ├── CreatePrimitiveValueSpecification_expression_BooleanLiteralExp.gif │ │ ├── CreatePrimitiveValueSpecification_expression_IntegerLiteralExp.gif │ │ ├── CreatePrimitiveValueSpecification_expression_NumericLiteralExp.gif │ │ ├── CreatePrimitiveValueSpecification_expression_OperationCallExp.gif │ │ ├── CreatePrimitiveValueSpecification_expression_RealLiteralExp.gif │ │ ├── CreatePrimitiveValueSpecification_expression_StringLiteralExp.gif │ │ ├── CreatePrimitiveValueSpecification_expression_TargetRef.gif │ │ ├── CreatePrimitiveValueSpecification_expression_UnlimitedLiteralExp.gif │ │ ├── CreateReplacementFragmentType_placementFragment_PlacementFragment.gif │ │ ├── CreateReplacementFragmentType_replacementBoundaryElement_FromReplacement.gif │ │ ├── CreateReplacementFragmentType_replacementBoundaryElement_ToReplacement.gif │ │ ├── CreateReplacementFragmentType_sourceObject_ObjectHandle.gif │ │ ├── CreateSlotAssignment_slotOwner_ObjectHandle.gif │ │ ├── CreateSlotAssignment_value_ObjectSpecification.gif │ │ ├── CreateSlotAssignment_value_PrimitiveValueSpecification.gif │ │ ├── CreateSlotAssignment_value_ReplacementFragmentSpecification.gif │ │ ├── CreateSlotAssignment_value_VRefValueSpecification.gif │ │ ├── CreateStagedVariationPoint_member_FragmentSubstitution.gif │ │ ├── CreateStagedVariationPoint_member_OpaqueVariationPoint.gif │ │ ├── CreateStagedVariationPoint_member_ParametricSlotAssignment.gif │ │ ├── CreateStagedVariationPoint_member_PlacementFragment.gif │ │ ├── CreateStagedVariationPoint_member_SlotAssignment.gif │ │ ├── CreateStagedVariationPoint_member_StagedVariationPoint.gif │ │ ├── CreateVClassOccurrence_instanceMultiplicity_MultiplicityInterval.gif │ │ ├── CreateVClassifier_instanceMultiplicity_MultiplicityInterval.gif │ │ ├── CreateVNode_groupMultiplicity_MultiplicityInterval.gif │ │ ├── CreateVNode_ownedConstraint_BCLConstraint.gif │ │ ├── CreateVNode_ownedConstraint_Constraint.gif │ │ ├── CreateVNode_ownedConstraint_OpaqueConstraint.gif │ │ ├── CreateVNode_variable_Variable.gif │ │ ├── CreateVPackage_packageElement_BVRModel.gif │ │ ├── CreateVPackage_packageElement_OVPType.gif │ │ ├── CreateVPackage_packageElement_ObjectType.gif │ │ ├── CreateVPackage_packageElement_PrimitveType.gif │ │ ├── CreateVPackage_packageElement_ReplacementFragmentType.gif │ │ ├── CreateVPackage_packageElement_VPackage.gif │ │ ├── CreateVPackage_packageElement_VRef.gif │ │ ├── CreateVPackage_packageElement_VType.gif │ │ ├── CreateValueResolution_value_ObjectSpecification.gif │ │ ├── CreateValueResolution_value_PrimitiveValueSpecification.gif │ │ ├── CreateValueResolution_value_ReplacementFragmentSpecification.gif │ │ ├── CreateValueResolution_value_VRefValueSpecification.gif │ │ ├── CreateVariable_defaulValue_ObjectSpecification.gif │ │ ├── CreateVariable_defaulValue_PrimitiveValueSpecification.gif │ │ ├── CreateVariable_defaulValue_ReplacementFragmentSpecification.gif │ │ └── CreateVariable_defaulValue_VRefValueSpecification.gif │ │ ├── obj16 │ │ ├── BCLConstraint.gif │ │ ├── BCLExpression.gif │ │ ├── BVRModel.gif │ │ ├── BooleanLiteralExp.gif │ │ ├── Choice.gif │ │ ├── ChoiceOccurrence.gif │ │ ├── Constraint.gif │ │ ├── FragmentSubstitution.gif │ │ ├── FromBinding.gif │ │ ├── FromPlacement.gif │ │ ├── FromReplacement.gif │ │ ├── IntegerLiteralExp.gif │ │ ├── MultiplicityInterval.gif │ │ ├── NegResolution.gif │ │ ├── Note.gif │ │ ├── NumericLiteralExp.gif │ │ ├── OVPSemanticSpec.gif │ │ ├── OVPType.gif │ │ ├── ObjectHandle.gif │ │ ├── ObjectSpecification.gif │ │ ├── ObjectType.gif │ │ ├── OpaqueConstraint.gif │ │ ├── OpaqueVariationPoint.gif │ │ ├── OperationCallExp.gif │ │ ├── ParametricSlotAssignment.gif │ │ ├── PlacementFragment.gif │ │ ├── PosResolution.gif │ │ ├── PrimitiveValueSpecification.gif │ │ ├── PrimitveType.gif │ │ ├── RealLiteralExp.gif │ │ ├── ReplacementFragmentSpecification.gif │ │ ├── ReplacementFragmentType.gif │ │ ├── ResolutionLiteralDefinition.gif │ │ ├── ResolutionLiteralUse.gif │ │ ├── SlotAssignment.gif │ │ ├── StagedVariationPoint.gif │ │ ├── StringLiteralExp.gif │ │ ├── Target.gif │ │ ├── TargetRef.gif │ │ ├── ToBinding.gif │ │ ├── ToPlacement.gif │ │ ├── ToReplacement.gif │ │ ├── UnlimitedLiteralExp.gif │ │ ├── VClassOccurrence.gif │ │ ├── VClassifier.gif │ │ ├── VPackage.gif │ │ ├── VRef.gif │ │ ├── VRefValueSpecification.gif │ │ ├── VType.gif │ │ ├── ValueResolution.gif │ │ └── Variable.gif │ │ └── sample.gif ├── plugin.properties ├── plugin.xml └── src │ └── bvr │ └── provider │ ├── BCLConstraintItemProvider.java │ ├── BCLExpressionItemProvider.java │ ├── BVRMetamodel5EditPlugin.java │ ├── BVRModelItemProvider.java │ ├── BooleanLiteralExpItemProvider.java │ ├── BoundaryElementBindingItemProvider.java │ ├── BvrItemProviderAdapterFactory.java │ ├── ChoiceItemProvider.java │ ├── ChoiceOccurrenceItemProvider.java │ ├── ChoiceResolutionItemProvider.java │ ├── ChoiceVSpecItemProvider.java │ ├── ChoiceVariationPointItemProvider.java │ ├── CompoundNodeItemProvider.java │ ├── CompoundResolutionItemProvider.java │ ├── ConstraintItemProvider.java │ ├── FragmentSubstitutionItemProvider.java │ ├── FromBindingItemProvider.java │ ├── FromPlacementItemProvider.java │ ├── FromReplacementItemProvider.java │ ├── IntegerLiteralExpItemProvider.java │ ├── MultiplicityIntervalItemProvider.java │ ├── NamedElementItemProvider.java │ ├── NegResolutionItemProvider.java │ ├── NoteItemProvider.java │ ├── NumericLiteralExpItemProvider.java │ ├── OVPSemanticSpecItemProvider.java │ ├── OVPTypeItemProvider.java │ ├── ObjectHandleItemProvider.java │ ├── ObjectSpecificationItemProvider.java │ ├── ObjectTypeItemProvider.java │ ├── OpaqueConstraintItemProvider.java │ ├── OpaqueVariationPointItemProvider.java │ ├── OperationCallExpItemProvider.java │ ├── ParametricSlotAssignmentItemProvider.java │ ├── ParametricVariationPointItemProvider.java │ ├── PlacementBoundaryElementItemProvider.java │ ├── PlacementFragmentItemProvider.java │ ├── PosResolutionItemProvider.java │ ├── PrimitiveValueSpecificationItemProvider.java │ ├── PrimitveTypeItemProvider.java │ ├── RealLiteralExpItemProvider.java │ ├── RepeatableVariationPointItemProvider.java │ ├── ReplacementBoundaryElementItemProvider.java │ ├── ReplacementFragmentSpecificationItemProvider.java │ ├── ReplacementFragmentTypeItemProvider.java │ ├── ResolutionLiteralDefinitionItemProvider.java │ ├── ResolutionLiteralUseItemProvider.java │ ├── SlotAssignmentItemProvider.java │ ├── StagedVariationPointItemProvider.java │ ├── StringLiteralExpItemProvider.java │ ├── TargetItemProvider.java │ ├── TargetRefItemProvider.java │ ├── ToBindingItemProvider.java │ ├── ToPlacementItemProvider.java │ ├── ToReplacementItemProvider.java │ ├── UnlimitedLiteralExpItemProvider.java │ ├── VClassOccurrenceItemProvider.java │ ├── VClassifierItemProvider.java │ ├── VNodeItemProvider.java │ ├── VPackageItemProvider.java │ ├── VPackageableItemProvider.java │ ├── VRefItemProvider.java │ ├── VRefValueSpecificationItemProvider.java │ ├── VSpecItemProvider.java │ ├── VSpecResolutionItemProvider.java │ ├── VTypeItemProvider.java │ ├── ValueResolutionItemProvider.java │ ├── ValueSpecificationItemProvider.java │ ├── VariableItemProvider.java │ ├── VariabletypeItemProvider.java │ └── VariationPointItemProvider.java ├── no.sintef.bvr.model.editor ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── icons │ ├── full │ │ ├── obj16 │ │ │ └── BvrModelFile.gif │ │ └── wizban │ │ │ └── NewBvr.gif │ └── sample.gif ├── plugin.properties ├── plugin.xml └── src │ └── bvr │ └── presentation │ ├── BVRMetamodel5EditorPlugin.java │ ├── BvrActionBarContributor.java │ ├── BvrEditor.java │ └── BvrModelWizard.java ├── no.sintef.bvr.model ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── model │ ├── BVRMetamodel.ecore │ ├── BVRMetamodel.genmodel │ ├── BVRMetamodel5.ecore │ └── BVRMetamodel5.genmodel ├── plugin.properties ├── plugin.xml ├── pom.xml └── src │ └── bvr │ ├── BCLConstraint.java │ ├── BCLExpression.java │ ├── BVRModel.java │ ├── BooleanLiteralExp.java │ ├── BoundaryElementBinding.java │ ├── BvrFactory.java │ ├── BvrPackage.java │ ├── Choice.java │ ├── ChoiceOccurrence.java │ ├── ChoiceResolution.java │ ├── ChoiceVSpec.java │ ├── ChoiceVariationPoint.java │ ├── CompoundNode.java │ ├── CompoundResolution.java │ ├── Constraint.java │ ├── FragmentSubstitution.java │ ├── FromBinding.java │ ├── FromPlacement.java │ ├── FromReplacement.java │ ├── IntegerLiteralExp.java │ ├── MultiplicityInterval.java │ ├── NamedElement.java │ ├── NegResolution.java │ ├── Note.java │ ├── NumericLiteralExp.java │ ├── OVPSemanticSpec.java │ ├── OVPType.java │ ├── ObjectHandle.java │ ├── ObjectSpecification.java │ ├── ObjectType.java │ ├── OpaqueConstraint.java │ ├── OpaqueVariationPoint.java │ ├── Operation.java │ ├── OperationCallExp.java │ ├── ParametricSlotAssignment.java │ ├── ParametricVariationPoint.java │ ├── PlacementBoundaryElement.java │ ├── PlacementFragment.java │ ├── PosResolution.java │ ├── PrimitiveTypeEnum.java │ ├── PrimitiveValueSpecification.java │ ├── PrimitveType.java │ ├── RealLiteralExp.java │ ├── RepeatableVariationPoint.java │ ├── ReplacementBoundaryElement.java │ ├── ReplacementFragmentSpecification.java │ ├── ReplacementFragmentType.java │ ├── ResolutionLiteralDefinition.java │ ├── ResolutionLiteralUse.java │ ├── SlotAssignment.java │ ├── StagedVariationPoint.java │ ├── StringLiteralExp.java │ ├── Target.java │ ├── TargetRef.java │ ├── ToBinding.java │ ├── ToPlacement.java │ ├── ToReplacement.java │ ├── UnlimitedLiteralExp.java │ ├── VClassOccurrence.java │ ├── VClassifier.java │ ├── VNode.java │ ├── VPackage.java │ ├── VPackageable.java │ ├── VRef.java │ ├── VRefValueSpecification.java │ ├── VSpec.java │ ├── VSpecResolution.java │ ├── VType.java │ ├── ValueResolution.java │ ├── ValueSpecification.java │ ├── Variable.java │ ├── Variabletype.java │ ├── VariationPoint.java │ ├── impl │ ├── BCLConstraintImpl.java │ ├── BCLExpressionImpl.java │ ├── BVRModelImpl.java │ ├── BooleanLiteralExpImpl.java │ ├── BoundaryElementBindingImpl.java │ ├── BvrFactoryImpl.java │ ├── BvrPackageImpl.java │ ├── ChoiceImpl.java │ ├── ChoiceOccurrenceImpl.java │ ├── ChoiceResolutionImpl.java │ ├── ChoiceVSpecImpl.java │ ├── ChoiceVariationPointImpl.java │ ├── CompoundNodeImpl.java │ ├── CompoundResolutionImpl.java │ ├── ConstraintImpl.java │ ├── FragmentSubstitutionImpl.java │ ├── FromBindingImpl.java │ ├── FromPlacementImpl.java │ ├── FromReplacementImpl.java │ ├── IntegerLiteralExpImpl.java │ ├── MultiplicityIntervalImpl.java │ ├── NamedElementImpl.java │ ├── NegResolutionImpl.java │ ├── NoteImpl.java │ ├── NumericLiteralExpImpl.java │ ├── OVPSemanticSpecImpl.java │ ├── OVPTypeImpl.java │ ├── ObjectHandleImpl.java │ ├── ObjectSpecificationImpl.java │ ├── ObjectTypeImpl.java │ ├── OpaqueConstraintImpl.java │ ├── OpaqueVariationPointImpl.java │ ├── OperationCallExpImpl.java │ ├── ParametricSlotAssignmentImpl.java │ ├── ParametricVariationPointImpl.java │ ├── PlacementBoundaryElementImpl.java │ ├── PlacementFragmentImpl.java │ ├── PosResolutionImpl.java │ ├── PrimitiveValueSpecificationImpl.java │ ├── PrimitveTypeImpl.java │ ├── RealLiteralExpImpl.java │ ├── RepeatableVariationPointImpl.java │ ├── ReplacementBoundaryElementImpl.java │ ├── ReplacementFragmentSpecificationImpl.java │ ├── ReplacementFragmentTypeImpl.java │ ├── ResolutionLiteralDefinitionImpl.java │ ├── ResolutionLiteralUseImpl.java │ ├── SlotAssignmentImpl.java │ ├── StagedVariationPointImpl.java │ ├── StringLiteralExpImpl.java │ ├── TargetImpl.java │ ├── TargetRefImpl.java │ ├── ToBindingImpl.java │ ├── ToPlacementImpl.java │ ├── ToReplacementImpl.java │ ├── UnlimitedLiteralExpImpl.java │ ├── VClassOccurrenceImpl.java │ ├── VClassifierImpl.java │ ├── VNodeImpl.java │ ├── VPackageImpl.java │ ├── VPackageableImpl.java │ ├── VRefImpl.java │ ├── VRefValueSpecificationImpl.java │ ├── VSpecImpl.java │ ├── VSpecResolutionImpl.java │ ├── VTypeImpl.java │ ├── ValueResolutionImpl.java │ ├── ValueSpecificationImpl.java │ ├── VariableImpl.java │ ├── VariabletypeImpl.java │ └── VariationPointImpl.java │ └── util │ ├── BvrAdapterFactory.java │ └── BvrSwitch.java ├── no.sintef.bvr.papyrusdiagram.adapter.test ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── resources │ ├── model.di │ ├── model.notation │ └── model.uml └── src │ └── no │ └── sintef │ └── bvr │ └── papyrusdiagram │ └── adapter │ └── test │ ├── Activator.java │ ├── PapayrusAdapter.java │ └── PapayrusIBVREnabledAdapter.java ├── no.sintef.bvr.papyrusdiagram.adapter ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── papyrusdiagram │ └── adapter │ ├── PapyrusBVREditorActivator.java │ ├── PapyrusBVREditorAdapter.java │ ├── PapyrusBVREditorStartup.java │ └── factory │ └── PapyrusBVREditorFactory.java ├── no.sintef.bvr.papyrusdiagramadapter2 ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── icons │ └── sample.gif ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── papyrusdiagramadapter2 │ ├── Activator.java │ └── editors │ └── PapyrusBVREditor.java ├── no.sintef.bvr.realop.model.edit ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── icons │ └── full │ │ ├── ctool16 │ │ ├── CreateAndExp_left_AndExp.gif │ │ ├── CreateAndExp_left_Expression.gif │ │ ├── CreateAndExp_left_IsNegative.gif │ │ ├── CreateAndExp_left_IsPositive.gif │ │ ├── CreateAndExp_left_IsRealised.gif │ │ ├── CreateAndExp_left_NotExp.gif │ │ ├── CreateAndExp_left_OrExp.gif │ │ ├── CreateAndExp_left_XorExp.gif │ │ ├── CreateAndExp_right_AndExp.gif │ │ ├── CreateAndExp_right_Expression.gif │ │ ├── CreateAndExp_right_IsNegative.gif │ │ ├── CreateAndExp_right_IsPositive.gif │ │ ├── CreateAndExp_right_IsRealised.gif │ │ ├── CreateAndExp_right_NotExp.gif │ │ ├── CreateAndExp_right_OrExp.gif │ │ ├── CreateAndExp_right_XorExp.gif │ │ ├── CreateNotExp_exp_AndExp.gif │ │ ├── CreateNotExp_exp_Expression.gif │ │ ├── CreateNotExp_exp_IsNegative.gif │ │ ├── CreateNotExp_exp_IsPositive.gif │ │ ├── CreateNotExp_exp_IsRealised.gif │ │ ├── CreateNotExp_exp_NotExp.gif │ │ ├── CreateNotExp_exp_OrExp.gif │ │ ├── CreateNotExp_exp_XorExp.gif │ │ ├── CreateOperator_expPost_AndExp.gif │ │ ├── CreateOperator_expPost_Expression.gif │ │ ├── CreateOperator_expPost_IsNegative.gif │ │ ├── CreateOperator_expPost_IsPositive.gif │ │ ├── CreateOperator_expPost_IsRealised.gif │ │ ├── CreateOperator_expPost_NotExp.gif │ │ ├── CreateOperator_expPost_OrExp.gif │ │ ├── CreateOperator_expPost_XorExp.gif │ │ ├── CreateOperator_expPre_AndExp.gif │ │ ├── CreateOperator_expPre_Expression.gif │ │ ├── CreateOperator_expPre_IsNegative.gif │ │ ├── CreateOperator_expPre_IsPositive.gif │ │ ├── CreateOperator_expPre_IsRealised.gif │ │ ├── CreateOperator_expPre_NotExp.gif │ │ ├── CreateOperator_expPre_OrExp.gif │ │ ├── CreateOperator_expPre_XorExp.gif │ │ ├── CreateOrExp_left_AndExp.gif │ │ ├── CreateOrExp_left_Expression.gif │ │ ├── CreateOrExp_left_IsNegative.gif │ │ ├── CreateOrExp_left_IsPositive.gif │ │ ├── CreateOrExp_left_IsRealised.gif │ │ ├── CreateOrExp_left_NotExp.gif │ │ ├── CreateOrExp_left_OrExp.gif │ │ ├── CreateOrExp_left_XorExp.gif │ │ ├── CreateOrExp_right_AndExp.gif │ │ ├── CreateOrExp_right_Expression.gif │ │ ├── CreateOrExp_right_IsNegative.gif │ │ ├── CreateOrExp_right_IsPositive.gif │ │ ├── CreateOrExp_right_IsRealised.gif │ │ ├── CreateOrExp_right_NotExp.gif │ │ ├── CreateOrExp_right_OrExp.gif │ │ ├── CreateOrExp_right_XorExp.gif │ │ ├── CreateRealop_operators_Operator.gif │ │ ├── CreateXorExp_left_AndExp.gif │ │ ├── CreateXorExp_left_Expression.gif │ │ ├── CreateXorExp_left_IsNegative.gif │ │ ├── CreateXorExp_left_IsPositive.gif │ │ ├── CreateXorExp_left_IsRealised.gif │ │ ├── CreateXorExp_left_NotExp.gif │ │ ├── CreateXorExp_left_OrExp.gif │ │ ├── CreateXorExp_left_XorExp.gif │ │ ├── CreateXorExp_right_AndExp.gif │ │ ├── CreateXorExp_right_Expression.gif │ │ ├── CreateXorExp_right_IsNegative.gif │ │ ├── CreateXorExp_right_IsPositive.gif │ │ ├── CreateXorExp_right_IsRealised.gif │ │ ├── CreateXorExp_right_NotExp.gif │ │ ├── CreateXorExp_right_OrExp.gif │ │ └── CreateXorExp_right_XorExp.gif │ │ └── obj16 │ │ ├── AndExp.gif │ │ ├── Expression.gif │ │ ├── IsNegative.gif │ │ ├── IsPositive.gif │ │ ├── IsRealised.gif │ │ ├── NotExp.gif │ │ ├── Operator.gif │ │ ├── OrExp.gif │ │ ├── Realop.gif │ │ └── XorExp.gif ├── plugin.properties ├── plugin.xml └── src │ └── realop │ └── provider │ ├── AndExpItemProvider.java │ ├── ExpressionItemProvider.java │ ├── IsNegativeItemProvider.java │ ├── IsPositiveItemProvider.java │ ├── IsRealisedItemProvider.java │ ├── NotExpItemProvider.java │ ├── OperatorItemProvider.java │ ├── OrExpItemProvider.java │ ├── RealopEditPlugin.java │ ├── RealopItemProvider.java │ ├── RealopItemProviderAdapterFactory.java │ └── XorExpItemProvider.java ├── no.sintef.bvr.realop.model.editor ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── icons │ └── full │ │ ├── obj16 │ │ └── RealopModelFile.gif │ │ └── wizban │ │ └── NewRealop.gif ├── plugin.properties ├── plugin.xml └── src │ └── realop │ └── presentation │ ├── RealopActionBarContributor.java │ ├── RealopEditor.java │ ├── RealopEditorPlugin.java │ └── RealopModelWizard.java ├── no.sintef.bvr.realop.model ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── model │ ├── Realop.ecore │ └── Realop.genmodel ├── plugin.properties ├── plugin.xml └── src │ └── realop │ ├── AndExp.java │ ├── Expression.java │ ├── IsNegative.java │ ├── IsPositive.java │ ├── IsRealised.java │ ├── NotExp.java │ ├── Operator.java │ ├── OrExp.java │ ├── Realop.java │ ├── RealopFactory.java │ ├── RealopPackage.java │ ├── XorExp.java │ ├── impl │ ├── AndExpImpl.java │ ├── ExpressionImpl.java │ ├── IsNegativeImpl.java │ ├── IsPositiveImpl.java │ ├── IsRealisedImpl.java │ ├── NotExpImpl.java │ ├── OperatorImpl.java │ ├── OrExpImpl.java │ ├── RealopFactoryImpl.java │ ├── RealopImpl.java │ ├── RealopPackageImpl.java │ └── XorExpImpl.java │ └── util │ ├── RealopAdapterFactory.java │ └── RealopSwitch.java ├── no.sintef.bvr.test.common ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html └── src │ └── no │ └── sintef │ └── bvr │ └── test │ └── common │ └── utils │ ├── TestProject.java │ ├── TestResourceHolder.java │ └── TestUtils.java ├── no.sintef.bvr.thirdparty.interfaces ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html └── src │ └── no │ └── sintef │ └── bvr │ └── thirdparty │ └── interfaces │ └── editor │ ├── AbstractBVREnabledEditor.java │ └── IBVREnabledEditor.java ├── no.sintef.bvr.thirdparty.test ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── bvr.properties ├── epl-v10.html ├── resources │ ├── mode-trivial.bvr │ └── vm │ │ └── VarModel.bvr └── src │ └── no │ └── sintef │ └── bvr │ └── thirdparty │ └── test │ ├── Activator.java │ └── editor │ └── ThirdPartyEditorTest.java ├── no.sintef.bvr.thirdparty ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── class.ucls ├── epl-v10.html └── src │ └── no │ └── sintef │ └── bvr │ └── thirdparty │ ├── common │ ├── Constants.java │ ├── PluginLogger.java │ ├── ProblemLoger.java │ └── Utility.java │ ├── editor │ ├── BVRAbstractBaseLabelProvider.java │ ├── BVRLabelProvider.java │ └── ProxyThirdPartyTreeEditor.java │ └── exception │ ├── AbstractThirdPartyEditorError.java │ ├── NotSupportedLabelProvider.java │ ├── NotSupportedThirdPartyEditor.java │ └── UnexpectedThirdPartyException.java ├── no.sintef.bvr.tool.interfaces ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html └── src │ └── no │ └── sintef │ └── bvr │ └── tool │ └── interfaces │ ├── common │ └── IVarModelResolutionsCopier.java │ ├── controller │ ├── BVRCommonControllerInterface.java │ ├── BVRNotifiableController.java │ ├── BVRToolAbstractController.java │ ├── EditorsCommonControllerInterface.java │ ├── RealizationControllerInterface.java │ ├── ResolutionControllerInterface.java │ ├── VSpecControllerInterface.java │ ├── VTypeControllerInterface.java │ └── command │ │ ├── Command.java │ │ └── SimpleExeCommandInterface.java │ ├── model │ ├── IBVREditingDomain.java │ ├── IBVRSPLCAModelTransformator.java │ ├── IBVRToolModel.java │ ├── IBVRTransactionalVTypeState.java │ ├── IIDProvider.java │ └── IPostfixGenerator.java │ ├── observer │ ├── AbstractResourceSubject.java │ ├── ResourceObserver.java │ └── ResourceSubject.java │ └── ui │ └── editor │ ├── BVRRealizationUIKernelInterface.java │ ├── BVRUIKernelInterface.java │ └── Pair.java ├── no.sintef.bvr.tool.test ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── bvr.properties ├── epl-v10.html ├── resources │ ├── cross_base1.uml │ ├── cross_base2.uml │ ├── cross_lib.uml │ ├── cross_model.bvr │ ├── exp_prod │ │ └── prod_trivial_base.uml │ ├── mode-trivial.bvr │ ├── model.di │ ├── model.notation │ ├── model.uml │ ├── realization_trivial.bvr │ ├── trivial_base.uml │ ├── trivial_lib.uml │ └── vm │ │ ├── VarModel.bvr │ │ ├── addvspectarget.bvr │ │ ├── addvspectarget_tosave.bvr │ │ ├── gen_product_const_invalid_trg.bvr │ │ ├── gen_product_const_invalid_trg1.bvr │ │ ├── gen_product_const_src.bvr │ │ ├── gen_product_const_trg.bvr │ │ ├── gen_product_src.bvr │ │ ├── gen_product_trg.bvr │ │ ├── invalid_model.bvr │ │ ├── product_const.bvr │ │ ├── trivial_all_src.bvr │ │ ├── trivial_all_trg.bvr │ │ ├── trivial_const_src.bvr │ │ ├── trivial_const_trg.bvr │ │ ├── trivial_src.bvr │ │ ├── trivial_trg.bvr │ │ └── trivial_validation_not_null.bvr └── src │ └── no │ └── sintef │ └── bvr │ └── tool │ └── test │ ├── Activator.java │ ├── adoptmodel │ ├── AddVSpecTargetTest.java │ └── ConvertModel.java │ ├── execute │ ├── TrivialCrossReferencedProduct.java │ └── TrivialDeriveProduct.java │ ├── splca │ ├── TestCoveringArrayConstTranformation.java │ └── TestCoveringArrayTrivialTranformation.java │ └── thirdparty │ ├── ThirdPartyPapyrusSelectorTest.java │ ├── ThirdPartySelectorNoEditorTest.java │ └── ThirdPartySelectorTest.java ├── no.sintef.bvr.tool ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── class.ucls ├── epl-v10.html ├── lib │ ├── antlr-4.5-complete.jar │ ├── batik-awt-util-1.6-1.jar │ ├── batik-dom-1.6-1.jar │ ├── batik-svggen-1.6.jar │ ├── batik-util-1.6-1.jar │ ├── combinatoricslib-2.0.jar │ ├── guava-15.0.jar │ ├── org.abego.treelayout.core-1.0.1.jar │ ├── org.abego.treelayout.demo-1.0.1.jar │ └── swingx-all-1.6.5-1.jar ├── pom.xml └── src │ └── no │ └── sintef │ └── bvr │ └── tool │ ├── chain │ ├── ExecutionHandler.java │ └── impl │ │ ├── ComputeBaseModelHandler.java │ │ ├── ExecutionRealizationHandler.java │ │ ├── IntersactionResolverExecutionHandler.java │ │ ├── ParserExecutionHandler.java │ │ ├── ResetExecutionHandler.java │ │ ├── SaveProductExecutionHandler.java │ │ └── ScopeResolverExecutionHandler.java │ ├── checker │ └── ModelChecker.java │ ├── common │ ├── Constants.java │ ├── DeriveProduct.java │ ├── LoaderUtility.java │ ├── Messages.java │ ├── ModelSelector.java │ ├── NullVSpec.java │ └── VarModelResolutionsCopier.java │ ├── context │ ├── Context.java │ ├── ContextFactory.java │ ├── ThirdpartyEditorSelector.java │ └── ViewChanageManager.java │ ├── controller │ ├── SwingRealizationController.java │ ├── SwingResolutionController.java │ ├── SwingVSpecController.java │ ├── SwingVTypeController.java │ └── command │ │ ├── AddBCLConstraint.java │ │ ├── AddBVRModel.java │ │ ├── AddChoice.java │ │ ├── AddChoiceOccurence.java │ │ ├── AddChoiceResolution.java │ │ ├── AddChoiceResolutionFromVClassifier.java │ │ ├── AddGroupMultiplicity.java │ │ ├── AddMissingResolutions.java │ │ ├── AddResolution.java │ │ ├── AddVClassOccurence.java │ │ ├── AddVClassifier.java │ │ ├── AddVTypeRoot.java │ │ ├── AddVariableResolution.java │ │ ├── BatchCommandExecutor.java │ │ ├── CommandBatchInterface.java │ │ ├── CreatePlacement.java │ │ ├── CreateReplacement.java │ │ ├── RedoCommand.java │ │ ├── RemoveUncontained.java │ │ ├── ResCommand.java │ │ ├── SelectInstanceCommand.java │ │ ├── SettingsToolEvent.java │ │ ├── ShowBCLConstraintResolution.java │ │ ├── ShowErrorGroup.java │ │ ├── ShowInValidConstraintsResolution.java │ │ ├── ShowMultiplicityTriangleResolution.java │ │ ├── ShowViolatedBCLConstraint.java │ │ ├── ToggleChoiceCommand.java │ │ ├── UndoCommand.java │ │ ├── UpdateAbstractNamedElement.java │ │ ├── UpdateBCLConstraint.java │ │ ├── UpdateBVRModel.java │ │ ├── UpdateChoice.java │ │ ├── UpdateChoiceOccurence.java │ │ ├── UpdateConstraint.java │ │ ├── UpdateNamedElement.java │ │ ├── UpdateVClassOccurence.java │ │ ├── UpdateVClassifier.java │ │ ├── UpdateVInstance.java │ │ ├── UpdateVSpec.java │ │ ├── UpdateVType.java │ │ └── UpdateVariableValueAssignment.java │ ├── decorator │ ├── SimpleExeCommandBatchDecorator.java │ ├── UpdateChoiceAbstractDecorator.java │ ├── UpdateChoiceBatchCommandDecorator.java │ ├── UpdateChoiceOccurenceAbstractDecorator.java │ ├── UpdateChoiceOccurenceBatchCommandDecorator.java │ ├── UpdateConstraintAbstractDecorator.java │ ├── UpdateConstraintBatchCommandDecorator.java │ ├── UpdateVClassOccurenceAbstractDecorator.java │ ├── UpdateVClassOccurenceBatchCommandDecorator.java │ ├── UpdateVClassifierAbstractDecorator.java │ ├── UpdateVClassifierBatchCommandDecorator.java │ ├── UpdateVInstanceBatchCmdDecorator.java │ ├── UpdateVInstanceDecorator.java │ ├── UpdateVarValAssigBatchCmdDecorator.java │ └── UpdateVariableValueAssignmentDecorator.java │ ├── environment │ ├── AbstractConfigHelper.java │ ├── AbstractEnvironment.java │ ├── ConfigHelper.java │ ├── Environment.java │ ├── eclipse │ │ ├── EclipseConfigHelper.java │ │ └── EclipseEnvironment.java │ └── eclipseless │ │ ├── EclipseLessConfigHelper.java │ │ └── EclipseLessEnvironment.java │ ├── exception │ ├── AbstractError.java │ ├── BVRModelException.java │ ├── BatchRethrownException.java │ ├── IllegalOperationException.java │ ├── MalformedVarModelException.java │ ├── NoEclipseDetectedException.java │ ├── PlacementReplacementNullException.java │ ├── RethrownException.java │ ├── ShowErrorException.java │ ├── UnexpectedException.java │ ├── UnimplementedBVRException.java │ └── UserInputError.java │ ├── filter │ ├── BVRFilter.java │ ├── FMFilter.java │ ├── PNGFilter.java │ ├── SHFilter.java │ └── SVGFilter.java │ ├── logging │ └── impl │ │ └── DefaultLogger.java │ ├── model │ ├── BVREditingDomainFacade.java │ ├── BVREmptyModel.java │ ├── BVRExecutionEditingDomain.java │ ├── BVRSPLCAModelTransformator.java │ ├── BVRSimpleToolModel.java │ ├── BVRToolModel.java │ ├── BVRTransactionalModel.java │ ├── ChangeChoiceFacade.java │ ├── CloneResFacade.java │ ├── ConstraintFacade.java │ ├── InheritanceFacade.java │ ├── NoteFacade.java │ ├── PostfixGeneratorFacade.java │ ├── PrimitiveTypeFacade.java │ ├── ResolutionModelIterator.java │ ├── SubstitutionFragmentFacade.java │ ├── TargetFacade.java │ ├── TransfFacade.java │ ├── VSpecFacade.java │ ├── VTypeFacade.java │ ├── Validate.java │ └── Validator.java │ ├── observer │ ├── ChangeManager.java │ ├── ChangeVSpecName.java │ ├── Observer.java │ ├── ResourceSavedSubject.java │ ├── ResourceSetEditedSubject.java │ ├── Subject.java │ └── TargetChangedSubject.java │ ├── primitive │ ├── AbstractDataItem.java │ ├── AbstractExecutionRequest.java │ ├── AbstractSymbol.java │ ├── AbstractSymbolTable.java │ ├── DataItem.java │ ├── ExecutionRequest.java │ ├── Keywords.java │ ├── Symbol.java │ ├── SymbolEObject.java │ ├── SymbolTableEObject.java │ ├── SymbolVSpec.java │ ├── SymbolVSpecResolutionTable.java │ ├── VisitableSymbolEObject.java │ └── impl │ │ ├── DataBindingItem.java │ │ ├── DataBoundaryItem.java │ │ ├── DataNamedElementItem.java │ │ ├── DataVSpecItem.java │ │ ├── ObserverDataBulk.java │ │ ├── SingleExecutionRequest.java │ │ ├── SymbolCompoundNode.java │ │ ├── SymbolTableCompoundNode.java │ │ ├── SymbolTarget.java │ │ ├── VSpecResolutionSymbol.java │ │ └── VSpecResolutionSymbolTable.java │ ├── rule │ ├── SymbolRule.java │ ├── SymbolVSpecTargetNotNullRule.java │ └── SymbolVSpecTargetScopeRule.java │ ├── strategy │ ├── AbstractBoundaryCalculator.java │ ├── BindingCalculatorStrategy.java │ ├── BoundaryCalculatorStrategy.java │ ├── ContextBuilderStrategy.java │ ├── IComputeBaseModelStrategy.java │ ├── ModifyNodeStrategy.java │ ├── PlacementBoundaryCalcStrategy.java │ ├── PlacementIntersectionResolverStrategy.java │ ├── RealizationStrategy.java │ ├── ReplacementBoundaryCalcStrategy.java │ ├── SaveProductStrategy.java │ ├── ScopeResolverStrategy.java │ ├── SelectionStrategy.java │ ├── TableBuilderStrategy.java │ └── impl │ │ ├── BCLConstraintModifiyTargetsStrategy.java │ │ ├── BindingCalculatorContext.java │ │ ├── BoundaryCalculatorContext.java │ │ ├── ChoiceVClassifierNameModifyStrategy.java │ │ ├── CompoundNodeScopeBuilderStrategy.java │ │ ├── ContainmentLessSelectionStrategy.java │ │ ├── ContainmentSelectionStrategy.java │ │ ├── CopierResolveChoiceStrategy.java │ │ ├── CopyBaseModelStrategy.java │ │ ├── CreateBoundaryContext.java │ │ ├── CreateTargetsModifyStrategy.java │ │ ├── DefaultBindingCalculatorStrategy.java │ │ ├── DefaultPlacementBoundaryCalcStrategy.java │ │ ├── DefaultReplacementBoundaryCalcStrategy.java │ │ ├── FromReplacementBoundaryCalculator.java │ │ ├── GetSelectionContext.java │ │ ├── PlacementIntersectionLessStrategy.java │ │ ├── PlacementIntersectionLessTwinAbleStrategy.java │ │ ├── RRComposerStrategy.java │ │ ├── RealizationStrategyBottomUp.java │ │ ├── RealizationStrategyDefault.java │ │ ├── RealizationStrategyScopeless.java │ │ ├── RemoveStaleTargetStrategy.java │ │ ├── ScopeBuilderContext.java │ │ ├── ScopeResolverStrategyScopeable.java │ │ ├── ScopeResolverStrategyScopeless.java │ │ ├── SimpleSaveProductStrategy.java │ │ ├── SingleDummyToPlacementBoundaryCalcStrategy.java │ │ ├── StaleSimpleRealizationStrategy.java │ │ └── ToPlacementBoundaryCalculator.java │ ├── subject │ ├── AbstractViewSubject.java │ ├── BVRModelSubject.java │ └── SelectedFragmentSubstitutionSubject.java │ ├── ui │ ├── command │ │ ├── AddOpaqueConstraint.java │ │ ├── CommandMouseListener.java │ │ ├── Helper.java │ │ └── event │ │ │ ├── AddChoiceEvent.java │ │ │ ├── AddChoiceFromVClassifierEvent.java │ │ │ ├── AddChoiceOccEvent.java │ │ │ ├── AddClassifierEvent.java │ │ │ ├── AddConstraintEvent.java │ │ │ ├── AddSubTreeEvent.java │ │ │ ├── AddVClassOccEvent.java │ │ │ ├── AddVTypeEvent.java │ │ │ ├── AddValueResolutionEvent.java │ │ │ ├── AddVariableEvent.java │ │ │ ├── BindingModelTableEvent.java │ │ │ ├── BindingRowSelectionEvent.java │ │ │ ├── ClearSelectionRelalizationEvent.java │ │ │ ├── CloseModelEvent.java │ │ │ ├── CopyModelEvent.java │ │ │ ├── CreateBindingsEvent.java │ │ │ ├── CreateFragmentSubstitutionEvent.java │ │ │ ├── CreatePlacementFragmentEvent.java │ │ │ ├── CreateReplacementFragmentEvent.java │ │ │ ├── CreateToBindingEvent.java │ │ │ ├── CutEvent.java │ │ │ ├── DeleteAllResolutions.java │ │ │ ├── DeleteBindingAllEvent.java │ │ │ ├── DeleteBindingEvent.java │ │ │ ├── DeleteFragmentSubstitutionEvent.java │ │ │ ├── DeletePlacementReplacementFragmentEvent.java │ │ │ ├── DeleteResolution.java │ │ │ ├── ExecuteResolutionEvent.java │ │ │ ├── ExportModelImage.java │ │ │ ├── ExportModelSVG.java │ │ │ ├── FragSubTableEvent.java │ │ │ ├── FragSubTableRowSelectionEvent.java │ │ │ ├── ImportVSpecEvent.java │ │ │ ├── MaximizeVSpecEvent.java │ │ │ ├── MaximizeVSpecResolutionEvent.java │ │ │ ├── MinimizeVSpecEvent.java │ │ │ ├── MinimizeVSpecResolutionEvent.java │ │ │ ├── NewResolutionEvent.java │ │ │ ├── NewResolvedResolutionEvent.java │ │ │ ├── OpenModelEvent.java │ │ │ ├── PasteChildEvent.java │ │ │ ├── PasteSiblingEvent.java │ │ │ ├── RemoveUncontainedResolutionEvent.java │ │ │ ├── RemoveVSpecEvent.java │ │ │ ├── RemoveVSpecResolutionEvent.java │ │ │ ├── RemoveVTypeEvent.java │ │ │ ├── RenameResolution.java │ │ │ ├── ResolveChoiceVClassifierEvent.java │ │ │ ├── SATValidateResolutions.java │ │ │ ├── SATValidateSingleResolution.java │ │ │ ├── SaveModelAsEvent.java │ │ │ ├── SetGroupCustomEvent.java │ │ │ ├── SetGroupToAltEvent.java │ │ │ ├── SetGroupToNoneEvent.java │ │ │ ├── SetGroupToOrEvent.java │ │ │ ├── ShowAddMultipleChoicesFromVSpecDialogAndAddEvent.java │ │ │ ├── SubFragTableEvent.java │ │ │ ├── SubFragTableRowSelectionEvent.java │ │ │ ├── ToggleOptionalEvent.java │ │ │ ├── ToggleShowConstraintsEvent.java │ │ │ ├── ToggleShowGroupEvent.java │ │ │ └── ValidateEvent.java │ ├── context │ │ └── StaticUICommands.java │ ├── dropdown │ │ ├── BCLConstraintDropDownListener.java │ │ ├── BVRModelDropDownListener.java │ │ ├── BindingEditorDropDown.java │ │ ├── BindingEditorDropDownListener.java │ │ ├── BindingEditorTableDropDown.java │ │ ├── BindingEditorTableDropDownListener.java │ │ ├── BoundariesDropDownCalculator.java │ │ ├── ChoiceDropDownListener.java │ │ ├── ChoiceOccurenceDropDownListener.java │ │ ├── ChoiceResolutionDropDownListener.java │ │ ├── ClassOccurenceDropDownListener.java │ │ ├── ClassifierDropDownListener.java │ │ ├── FragmentSubstitutionDropDown.java │ │ ├── FragmentSubstitutionDropDownListener.java │ │ ├── FragmentSubstitutionTableDropDown.java │ │ ├── FragmentSubstitutionTableDropDownListener.java │ │ ├── ResolutionDropdownListener.java │ │ ├── ResolutionPanDropdownListener.java │ │ ├── SubstitutionFragmentDropDown.java │ │ ├── SubstitutionFragmentDropDownListener.java │ │ ├── SubstitutionFragmentTableDropDown.java │ │ ├── SubstitutionFragmentTableDropDownListener.java │ │ ├── VSpecDropDownListener.java │ │ ├── VTypeDropDownListener.java │ │ └── VariableValueAssignmentDropDownListener.java │ ├── edit │ │ ├── BCLConstraintPropertyEditor.java │ │ ├── BVREditorPanel.java │ │ ├── BVRModelPropertyEditor.java │ │ ├── BVROptionEditorPanel.java │ │ ├── BVROptionsEditor.java │ │ ├── BVRVTypePropertyEditor.java │ │ ├── ChoiceOccurencePropertyEditor.java │ │ ├── ChoicePropertyEditor.java │ │ ├── ElementPropertyEditor.java │ │ ├── JCommandButton.java │ │ ├── SpringUtilities.java │ │ ├── VClassOccurencePropertyEditor.java │ │ ├── VClassifierPropertyEditor.java │ │ ├── VInstancePropertyEditor.java │ │ └── VariableValueAssignmentPropertyEditor.java │ ├── editor │ │ ├── BVRJFrame.java │ │ ├── BVRRealizationUIKernel.java │ │ ├── BVRUIKernel.java │ │ ├── BindingBoundariesComboBoxTableCellEditor.java │ │ ├── BindingBoundariesTextTableCellEditor.java │ │ ├── BindingJTable.java │ │ ├── FragSubTextTabelCellEditor.java │ │ ├── FragSubVSpecTableCellEditor.java │ │ ├── FragmentSubstitutionJTable.java │ │ ├── RestrictedJFileChooser.java │ │ ├── SubFragTextTabelCellEditor.java │ │ └── SubstitutionFragmentJTable.java │ ├── loader │ │ ├── BVRResolutionView.java │ │ ├── CalculateCost.java │ │ ├── CalculateCoverage.java │ │ ├── GenerateAllProducts.java │ │ ├── GenerateCoveringArray.java │ │ ├── ImportResolutions.java │ │ └── ValidateResolution.java │ ├── model │ │ ├── BindingBoundariesComboBoxModel.java │ │ ├── BindingTableModel.java │ │ ├── FragSubTableModel.java │ │ ├── FragSubVSpecComboboxModel.java │ │ └── SubFragTableModel.java │ ├── renderer │ │ ├── BindingBindingCellRenderer.java │ │ ├── BindingBoundariesCellRenderer.java │ │ ├── BindingBoundariesComboBoxRenderer.java │ │ ├── FragSubTableCellRenderer.java │ │ ├── FragSubVSpecComboboxRenderer.java │ │ └── SubFragTableCellRenderer.java │ └── strategy │ │ ├── ResolutionLayoutStrategy.java │ │ └── VSpecLayoutStrategy.java │ └── visitor │ ├── AbstractNodeVisitor.java │ ├── Node.java │ ├── NodeVisitor.java │ └── PropertyCheckNodeVisitor.java ├── no.sintef.bvr.ui.editor.commands ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html └── src │ └── no │ └── sintef │ └── bvr │ └── ui │ └── editor │ └── commands │ ├── Constants.java │ ├── EditorCommands.java │ ├── EditorCommandsFactory.java │ ├── EditorEMFTransactionalCommands.java │ └── EditorMVCCommands.java ├── no.sintef.bvr.ui.editor.common ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── icons │ ├── redo.png │ ├── sample.gif │ └── undo.png ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── ui │ └── editor │ └── common │ ├── Activator.java │ ├── CustomJApplet.java │ ├── ExecuteCommandEvent.java │ ├── IBVRTypeEditorInput.java │ ├── IMVCTypeEditor.java │ ├── MVCEditor.java │ ├── RefreshViewEvent.java │ ├── action │ ├── Redo.java │ └── Undo.java │ ├── listener │ ├── DomainResourceSetListener.java │ └── ResourceSetChangedListener.java │ └── observer │ ├── AbstractResourceSubjectMap.java │ ├── ResourceResourceSavedSubjectMap.java │ ├── ResourceResourceSetSubjectMap.java │ └── ResourceSubjectMap.java ├── no.sintef.bvr.ui.editor.mvc.realization ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── bvr.properties ├── epl-v10.html ├── icons │ └── sample.gif ├── plugin.xml ├── src │ └── no │ │ └── sintef │ │ └── bvr │ │ └── ui │ │ └── editor │ │ └── mvc │ │ └── realization │ │ ├── Activator.java │ │ ├── MVCRealizationEditor.java │ │ ├── RealizationRootController.java │ │ └── action │ │ ├── CopyModel.java │ │ └── OpenSetting.java └── test │ ├── no │ └── sintef │ │ ├── bvr │ │ └── tool │ │ │ ├── BottomUpResolverTest.java │ │ │ ├── DefaultProductResolverChainTest.java │ │ │ └── TrivialTest.java │ │ └── test │ │ └── common │ │ ├── TestProject.java │ │ └── TestResourceHolder.java │ └── resources │ ├── base.di │ ├── base.notation │ ├── base.uml │ ├── different_packages_model.di │ ├── different_packages_model.notation │ ├── different_packages_model.uml │ ├── expproducts │ ├── additiveAdjacentContLessPlacements_modeladjacenttest.uml │ ├── contLesExp_modeladjacenttest.uml │ ├── office1_base.uml │ ├── office2_base.uml │ ├── office3_base.uml │ ├── office4_base.uml │ ├── pool2printers3cart_printerpool.uml │ ├── printerPoolprinterCarVClass_printerpool.uml │ ├── product_different_packages_model.di │ ├── product_different_packages_model.notation │ ├── product_different_packages_model.uml │ ├── ptinter_cart_printerpool.uml │ ├── repetitionsScopeless1_repetitions.uml │ ├── repetitionsScopeless2_repetitions.uml │ ├── repetitionsSveralInstances1_repetitions.uml │ ├── repetitionsSveralInstancesV1_1_repetitiopnsV1.uml │ ├── repetitionsSveralInstancesV1_repetitiopnsV1.uml │ └── repetitionsSveralInstances_repetitions.uml │ ├── lib.di │ ├── lib.notation │ ├── lib.uml │ ├── models20092013 │ ├── modeladjacenttest.di │ ├── modeladjacenttest.notation │ └── modeladjacenttest.uml │ ├── office.bvr │ ├── printerlib3.di │ ├── printerlib3.notation │ ├── printerlib3.uml │ ├── printerpool.di │ ├── printerpool.notation │ ├── printerpool.uml │ ├── printerpoollib.di │ ├── printerpoollib.notation │ ├── printerpoollib.uml │ ├── printerpoollib2.di │ ├── printerpoollib2.notation │ ├── printerpoollib2.uml │ ├── repetitions.di │ ├── repetitions.notation │ ├── repetitions.uml │ ├── repetitiopnsV1.di │ ├── repetitiopnsV1.notation │ ├── repetitiopnsV1.uml │ └── vm │ ├── additiveAdjacentContLessPlacements.bvr │ ├── additiveAdjacentContLessPlacements1.bvr │ ├── containmentLessPlacements.bvr │ ├── differentPackages.bvr │ ├── prinerpoolPrinterPoolPrinter2.bvr │ ├── prinerpoolPrinterPoolPrinterCartridge.bvr │ ├── prinerpoolPrinterPoolPrinterCartridgeVClass.bvr │ ├── repetitions.bvr │ ├── repetitionsScopeless.bvr │ ├── repetitionsSveralInstances.bvr │ └── repetitionsSveralInstancesV1.bvr ├── no.sintef.bvr.ui.editor.mvc.resolutionV2 ├── .classpath ├── .project ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── icons │ └── sample.gif ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── ui │ └── editor │ └── mvc │ └── resolutionV2 │ ├── Activator.java │ ├── MVCResolutionEditorV2.java │ └── ResolutionRootController.java ├── no.sintef.bvr.ui.editor.mvc.type ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── icons │ └── sample.gif ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── ui │ └── editor │ └── mvc │ └── type │ ├── Activator.java │ ├── MVCTypeEditor.java │ └── VTypeRootController.java ├── no.sintef.bvr.ui.editor.mvc.vspec ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── icons │ └── sample.gif ├── plugin.xml └── src │ └── no │ └── sintef │ └── bvr │ └── ui │ └── editor │ └── mvc │ └── vspec │ ├── Activator.java │ ├── MVCVSpecEditor.java │ └── VSpecRootController.java ├── no.sintef.bvr.ui.framework ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── graphics │ ├── 1349960253_triangle.png │ └── ErrorTriangle.png ├── lib │ ├── org.abego.treelayout.core-1.0.1.jar │ └── swingx-all-1.6.5-1.jar ├── pom.xml └── src │ └── main │ └── java │ └── no │ └── sintef │ └── bvr │ └── ui │ └── framework │ ├── AbstractSelectElement.java │ ├── BufferedElement.java │ ├── ChangeAwareComponent.java │ ├── ErrorHighlightableElement.java │ ├── IconPanel.java │ ├── OptionalElement.java │ ├── ParallelogramPanel.java │ ├── ParallelogramTitledErrorPanel.java │ ├── ParallelogramTitledPanel.java │ ├── RectanglePanel.java │ ├── RectangleTitledPanel.java │ ├── RoundPanel.java │ ├── RoundedTitledPanel.java │ ├── SelectElement.java │ ├── ThreePartRectanglePanel.java │ ├── ThreePartRoundedPanel.java │ ├── TitledElement.java │ ├── UITools.java │ ├── elements │ ├── BVRModelPanel.java │ ├── BVRModelSymbolPanel.java │ ├── Binding.java │ ├── BindingListener.java │ ├── BindingPanel.java │ ├── ChoiceOccurencePanel.java │ ├── ChoicePanel.java │ ├── ChoiceResolutionPanel.java │ ├── ConstraintPanel.java │ ├── CustomTextField.java │ ├── EditableModelPanel.java │ ├── FragmentPanel.java │ ├── FragmentTypePanel.java │ ├── GroupPanel.java │ ├── GroupPanelWithError.java │ ├── VClassOccurencePanel.java │ ├── VClassifierPanel.java │ ├── VSpecPanel.java │ ├── VTypeRootSymbolPanel.java │ └── VariableAssignmentPanel.java │ ├── listener │ ├── DragDropLayout.java │ └── InstanceDragSourceListener.java │ └── strategy │ └── LayoutStrategy.java ├── no.sintef.bvr.usite.feature.autoreal ├── .project ├── build.properties └── feature.xml ├── no.sintef.bvr.usite.feature.featureidecore ├── .project ├── build.properties └── feature.xml ├── no.sintef.bvr.usite.feature.model ├── .project ├── build.properties ├── epl-v10.html └── feature.xml ├── no.sintef.bvr.usite.feature.mvc.realization ├── .project ├── build.properties ├── epl-v10.html └── feature.xml ├── no.sintef.bvr.usite.feature.mvc.resolutionV2 ├── .project ├── build.properties ├── epl-v10.html └── feature.xml ├── no.sintef.bvr.usite.feature.mvc.vspec ├── .project ├── build.properties ├── epl-v10.html └── feature.xml ├── no.sintef.bvr.usite.feature.papyrusdiagram.adapter ├── .project ├── build.properties ├── epl-v10.html └── feature.xml ├── no.sintef.bvr.usite.feature.splcatool ├── .project ├── build.properties └── feature.xml ├── no.sintef.bvr.usite ├── .project └── site.xml ├── no.sintef.dsl.node ├── .classpath ├── .project ├── .settings │ ├── org.eclipse.core.resources.prefs │ ├── org.eclipse.jdt.core.prefs │ └── org.eclipse.m2e.core.prefs ├── META-INF │ └── MANIFEST.MF ├── build.properties ├── epl-v10.html ├── model │ ├── node.ecore │ ├── node.ecorediag │ └── node.genmodel ├── plugin.properties ├── plugin.xml ├── pom.xml └── src │ └── node │ ├── Node.java │ ├── NodeFactory.java │ ├── NodePackage.java │ ├── impl │ ├── NodeFactoryImpl.java │ ├── NodeImpl.java │ └── NodePackageImpl.java │ └── util │ ├── NodeAdapterFactory.java │ └── NodeSwitch.java ├── no.sintef.ict.splcatool.test ├── .classpath ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── TestData │ └── Artificial │ │ ├── Apl.m.bvr │ │ ├── invalid.bvr │ │ ├── resDiffSize.bvr │ │ ├── resDiffSize2.bvr │ │ ├── resDiffSize3.bvr │ │ ├── resDiffSize50.bvr │ │ ├── resDiffSizeInvalid.bvr │ │ ├── resDiffSizeInvalid2.bvr │ │ └── valid.bvr ├── build.properties ├── epl-v10.html └── src │ └── no │ └── sintef │ └── ict │ └── splcatool │ └── test │ ├── splar │ ├── CNFClauseParserTest.java │ └── SPLARFeatureRootName.java │ └── tool │ ├── BVRModelTest.java │ ├── CSVGenerating.java │ ├── CSVGeneratingDifferentSize.java │ ├── CSVGeneratingNotAllNodesResolved.java │ ├── CalculateCoverage.java │ └── TestValModel.java ├── no.sintef.ict.splcatool ├── .classpath ├── .order ├── .project ├── .settings │ └── org.eclipse.jdt.core.prefs ├── META-INF │ └── MANIFEST.MF ├── TestData │ ├── Artificial │ │ ├── ChangeFMCasheDelete │ │ │ └── test.m │ │ ├── ComponentWatch.m │ │ ├── ComponentWatch.m.afm │ │ ├── EclipseSPL.m │ │ ├── EclipseSPL.m.afm │ │ ├── Jplug-fm.xml │ │ ├── Jplug-fm.xml.afm │ │ ├── TestCSVs │ │ │ ├── car_fm.xml │ │ │ ├── car_fm.xml.ca2.fp.csv │ │ │ └── car_fm.xml.empty.fp.csv │ │ ├── apl.m.weights.csv │ │ ├── buggy │ │ │ └── empty │ │ │ │ ├── rvm-no-software.m │ │ │ │ ├── rvm-no-software.m.ca2.csv │ │ │ │ ├── rvm.m.actual-weighted.csv │ │ │ │ ├── rvm.m.actual-weighted2.csv │ │ │ │ ├── rvm.m.actual.csv │ │ │ │ ├── x.dimacs │ │ │ │ └── x.xml │ │ ├── test.dimacs │ │ └── weightTest │ │ │ ├── fm.m │ │ │ ├── fm.m.ca2.csv │ │ │ ├── weights.csv │ │ │ ├── weights2.csv │ │ │ └── weights3.csv │ └── Realistic │ │ ├── 2.6.28.6-icse11.bool │ │ ├── 2.6.28.6-icse11.dimacs │ │ ├── Apl.cnf │ │ ├── Apl.fm │ │ ├── Apl.m │ │ ├── Berkeley.cnf │ │ ├── Berkeley.fm │ │ ├── Berkeley.m │ │ ├── Berkeley.m.afm │ │ ├── Car.xfm │ │ ├── Eclipse-red.m │ │ ├── EclipseEx1 │ │ ├── eclipse.m │ │ ├── eclipse.m.actual-weighted.csv │ │ ├── eclipse.m.actual.csv │ │ └── eclipse.m.order.csv │ │ ├── EclipseSPLChg.m │ │ ├── EclipseSPLChg.m.afm │ │ ├── Eshop-fm.dimacs │ │ ├── Eshop-fm.xml │ │ ├── Gg4.cnf │ │ ├── Gg4.fm │ │ ├── Gg4.m │ │ ├── Graph-product-line-fm.xml │ │ ├── REAL-FM-12.xml │ │ ├── TightVNC.m │ │ ├── TightVNC.m.afm │ │ ├── Tightvnc.cnf │ │ ├── Violet.cnf │ │ ├── Violet.fm │ │ ├── Violet.m │ │ ├── aircraft_fm.xml │ │ ├── arcade_game_pl_fm.xml │ │ ├── arcade_game_pl_fm.xml.afm │ │ ├── car_fm.afm │ │ ├── car_fm.xml │ │ ├── connector_fm.xml │ │ ├── connector_fm.xml.afm │ │ ├── eclipse-red.m.actual+svn-weighted.csv │ │ ├── eclipse-red.m.actual+svn.csv │ │ ├── eclipse-red.m.actual-weighted.csv │ │ ├── eclipse-red.m.actual.csv │ │ ├── eclipse.actual.csv │ │ ├── ecos-icse11.bool │ │ ├── ecos-icse11.dimacs │ │ ├── fame_dbms_fm.xml │ │ ├── fame_dbms_fm.xml.afm │ │ ├── freebsd-icse11.bool │ │ ├── freebsd-icse11.dimacs │ │ ├── movies_app_fm.xml │ │ ├── smart_home_fm.xml │ │ ├── smart_home_fm.xml.afm │ │ ├── stack_fm.xml │ │ └── stack_fm.xml.afm ├── build.properties ├── epl-v10.html ├── lib │ ├── annotations.jar │ ├── apoi │ │ ├── dom4j-1.6.1.jar │ │ ├── poi-3.7-20101029.jar │ │ ├── poi-ooxml-3.7-20101029.jar │ │ ├── poi-ooxml-schemas-3.7-20101029.jar │ │ └── xmlbeans-2.3.0.jar │ ├── commons-math-2.2.jar │ ├── jgrapht-jdk1.6.jar │ └── jsr305.jar ├── schema │ ├── graphml-attributes.xsd │ ├── graphml-parseinfo.xsd │ ├── graphml-structure.xsd │ ├── graphml.xsd │ ├── xlink.xsd │ └── ygraphml.xsd ├── src │ └── no │ │ └── sintef │ │ └── ict │ │ └── splcatool │ │ ├── BCLPrettyPrinter.java │ │ ├── BVRException.java │ │ ├── C1SplitThread.java │ │ ├── C1Thread.java │ │ ├── C2SplitThread.java │ │ ├── C2SplitThreadI.java │ │ ├── C3SplitThread.java │ │ ├── C3SplitThreadWeighted.java │ │ ├── CALib.java │ │ ├── CNF.java │ │ ├── CSVException.java │ │ ├── CalcNrOfProducts.java │ │ ├── CalcUncovered3Thread.java │ │ ├── CoveringArray.java │ │ ├── CoveringArrayAlgJ11.java │ │ ├── CoveringArrayAlgJ11Utils.java │ │ ├── CoveringArrayAlgJ12.java │ │ ├── CoveringArrayChvatal.java │ │ ├── CoveringArrayChvatalWeighted.java │ │ ├── CoveringArrayComplete.java │ │ ├── CoveringArrayFile.java │ │ ├── CoveringArrayGenerationException.java │ │ ├── FDThread.java │ │ ├── FMThread.java │ │ ├── FileUtility.java │ │ ├── GCInvThread.java │ │ ├── GCInvThread3.java │ │ ├── GCInvThread3Count.java │ │ ├── GCInvThreadCount.java │ │ ├── GCThread.java │ │ ├── GUIDSL.java │ │ ├── GraphMLFM.java │ │ ├── ImproveW1Thread.java │ │ ├── ImproveW2Thread.java │ │ ├── ImproveW3Thread.java │ │ ├── MandatoryAndDeadDetection.java │ │ ├── Pair.java │ │ ├── Pair2.java │ │ ├── Pair3.java │ │ ├── Pair4.java │ │ ├── ProgressReporter.java │ │ ├── ProgressThread.java │ │ ├── RIThread.java │ │ ├── RIThread3.java │ │ ├── SAT4JSolver.java │ │ ├── SPLCABVRModel.java │ │ ├── SPLCATool.java │ │ ├── SPLCAToolGUI.java │ │ ├── SXFM.java │ │ ├── TCalc.java │ │ ├── UnsupportedSPLCValidation.java │ │ ├── Verifier.java │ │ ├── WPair.java │ │ ├── WPair2.java │ │ ├── WPair3.java │ │ ├── XLSXLib.java │ │ ├── interfaces │ │ ├── IBVRModelHolderStrategy.java │ │ ├── IResolutionFinderStrategy.java │ │ ├── IResolveChoiceStrategy.java │ │ └── IVariabilityModelFinderStartegy.java │ │ └── strategy │ │ ├── DefaultBVRModelHolderStrategy.java │ │ ├── DefaultConstraintFinderStrategy.java │ │ ├── DefaultResolutionFinderStrategy.java │ │ ├── DefaultResolveChoiceStrategy.java │ │ ├── DefaultVariabilityModelFinderStrategy.java │ │ ├── SingleResVariabilityFinderStrategy.java │ │ └── SingleResolutionFinderStrategy.java ├── test.csv ├── test.dat ├── test │ └── no │ │ └── sintef │ │ └── ict │ │ └── splcatool │ │ ├── BowTieReduceTest.java │ │ ├── CAEstTest.java │ │ ├── CATest.java │ │ ├── CNFTest.java │ │ ├── CalcNumberOfProductsTest.java │ │ ├── GUIDSLTest.java │ │ ├── GUIDSLandSXFMTest.java │ │ ├── GenerateCoveringArraysTest.java │ │ ├── SATCATest.java │ │ ├── SXFMTest.java │ │ ├── TestCmdLineInteraction.java │ │ ├── TestCmdLineInteraction2.java │ │ ├── TestCmdLineInteraction3.java │ │ ├── TestLimitAndExpandCoverage.java │ │ ├── TestLimitCoverAndCalculation.java │ │ ├── TestSatAssumps.java │ │ ├── TestSatAssumps2.java │ │ ├── TestSizeLimit.java │ │ ├── TestTCalculator.java │ │ ├── TestVerify.java │ │ ├── TestWeightAlgs.java │ │ ├── TestWriteCA.java │ │ ├── ToCNFTest.java │ │ └── ToSAT4J.java └── test2.csv └── org.json ├── .classpath ├── .project ├── .settings └── org.eclipse.jdt.core.prefs ├── META-INF └── MANIFEST.MF ├── bin └── README ├── build.properties └── src ├── README └── org └── json ├── CDL.java ├── Cookie.java ├── CookieList.java ├── HTTP.java ├── HTTPTokener.java ├── JSONArray.java ├── JSONException.java ├── JSONML.java ├── JSONObject.java ├── JSONString.java ├── JSONStringer.java ├── JSONTokener.java ├── JSONWriter.java ├── Test.java ├── XML.java └── XMLTokener.java /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/README.md -------------------------------------------------------------------------------- /SPLAR/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/.classpath -------------------------------------------------------------------------------- /SPLAR/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/.project -------------------------------------------------------------------------------- /SPLAR/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /SPLAR/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /SPLAR/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/build.properties -------------------------------------------------------------------------------- /SPLAR/doc/allclasses-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/allclasses-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/allclasses-noframe.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/allclasses-noframe.html -------------------------------------------------------------------------------- /SPLAR/doc/constant-values.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/constant-values.html -------------------------------------------------------------------------------- /SPLAR/doc/deprecated-list.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/deprecated-list.html -------------------------------------------------------------------------------- /SPLAR/doc/help-doc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/help-doc.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-1.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-1.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-10.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-11.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-11.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-12.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-12.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-13.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-13.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-14.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-14.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-15.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-15.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-16.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-16.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-17.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-17.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-18.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-18.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-19.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-19.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-2.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-20.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-20.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-21.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-21.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-22.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-22.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-23.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-23.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-3.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-3.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-4.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-4.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-5.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-5.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-6.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-6.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-7.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-7.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-8.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-8.html -------------------------------------------------------------------------------- /SPLAR/doc/index-files/index-9.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index-files/index-9.html -------------------------------------------------------------------------------- /SPLAR/doc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/index.html -------------------------------------------------------------------------------- /SPLAR/doc/overview-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/overview-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/overview-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/overview-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/overview-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/overview-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/package-list: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/package-list -------------------------------------------------------------------------------- /SPLAR/doc/resources/inherit.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/resources/inherit.gif -------------------------------------------------------------------------------- /SPLAR/doc/serialized-form.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/serialized-form.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/DevelopmentTests.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/DevelopmentTests.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/class-use/DevelopmentTests.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/class-use/DevelopmentTests.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/Extractor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/Extractor.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/GenBench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/GenBench.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/GenFM.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/GenFM.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/JSONFeatureModel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/JSONFeatureModel.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/TestValidDomains.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/TestValidDomains.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/Tests.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/Tests.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/class-use/GenBench.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/class-use/GenBench.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/class-use/GenFM.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/class-use/GenFM.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/class-use/Tests.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/class-use/Tests.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/experiments/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/experiments/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/FMGeneratorEngine.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/FMGeneratorEngine.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/FMGeneratorGUI.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/FMGeneratorGUI.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/FMGeneratorGUIEvent.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/FMGeneratorGUIEvent.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/FMGeneratorMain.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/FMGeneratorMain.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/generator/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/generator/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/apps/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/apps/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/Assignment.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/Assignment.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/BooleanVariable.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/BooleanVariable.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/CNFClause.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/CNFClause.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/CNFFormula.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/CNFFormula.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/CNFGenerator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/CNFGenerator.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/CNFLiteral.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/CNFLiteral.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/constraints/parsing/PFParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/constraints/parsing/PFParser.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FTTraversalNodeSelector.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FTTraversalNodeSelector.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FTTraversals.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FTTraversals.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureGroup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureGroup.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureModel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureModel.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureModelException.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureModelException.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureModelListener.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureModelListener.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureModelStatistics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureModelStatistics.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureTree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureTree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureTreeCellRenderer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureTreeCellRenderer.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureTreeNode.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureTreeNode.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/FeatureTreeNodeState.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/FeatureTreeNodeState.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/GroupedFeature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/GroupedFeature.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/IFNodeRenderer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/IFNodeRenderer.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/NodeRenderer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/NodeRenderer.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/RootNode.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/RootNode.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/SolitaireFeature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/SolitaireFeature.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/TreeNodeRendererFactory.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/TreeNodeRendererFactory.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/XMLFeatureModel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/XMLFeatureModel.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/FTTraversals.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/FTTraversals.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/FeatureGroup.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/FeatureGroup.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/FeatureModel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/FeatureModel.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/FeatureTree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/FeatureTree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/FeatureTreeNode.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/FeatureTreeNode.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/GroupedFeature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/GroupedFeature.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/IFNodeRenderer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/IFNodeRenderer.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/NodeRenderer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/NodeRenderer.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/RootNode.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/RootNode.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/SolitaireFeature.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/SolitaireFeature.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/class-use/XMLFeatureModel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/class-use/XMLFeatureModel.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/clustering/FTCluster.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/clustering/FTCluster.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/clustering/NodeCluster.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/clustering/NodeCluster.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/clustering/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/clustering/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/clustering/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/clustering/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/clustering/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/clustering/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/clustering/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/clustering/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/configuration/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/configuration/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/configuration/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/configuration/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/configuration/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/configuration/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/randomization/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/randomization/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/randomization/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/randomization/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/randomization/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/randomization/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/reasoning/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/reasoning/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/reasoning/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/reasoning/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/reasoning/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/reasoning/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/fm/reasoning/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/fm/reasoning/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/heuristics/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/heuristics/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/heuristics/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/heuristics/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/heuristics/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/heuristics/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/heuristics/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/heuristics/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/CombinationGenerator.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/CombinationGenerator.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/Utils.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/Utils.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/alloy/FM2AlloyConversor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/alloy/FM2AlloyConversor.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/alloy/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/alloy/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/alloy/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/alloy/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/alloy/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/alloy/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/alloy/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/alloy/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/class-use/Utils.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/class-use/Utils.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/hypergraphs/Hyperedge.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/hypergraphs/Hyperedge.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/hypergraphs/Hypergraph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/hypergraphs/Hypergraph.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/hypergraphs/Vertex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/hypergraphs/Vertex.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/hypergraphs/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/hypergraphs/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/hypergraphs/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/hypergraphs/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/hypergraphs/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/hypergraphs/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/core/util/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/core/util/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/reasoners/tests/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/reasoners/tests/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/tests/AllTests.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/tests/AllTests.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/tests/TestsGlobalContext.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/tests/TestsGlobalContext.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/tests/class-use/AllTests.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/tests/class-use/AllTests.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/tests/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/tests/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/tests/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/tests/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/tests/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/tests/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/plugins/tests/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/plugins/tests/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/samples/BDDReasoningExample.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/samples/BDDReasoningExample.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/samples/SATConfigurationExample.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/samples/SATConfigurationExample.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/samples/SATReasoningExample.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/samples/SATReasoningExample.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/samples/package-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/samples/package-frame.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/samples/package-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/samples/package-summary.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/samples/package-tree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/samples/package-tree.html -------------------------------------------------------------------------------- /SPLAR/doc/splar/samples/package-use.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/splar/samples/package-use.html -------------------------------------------------------------------------------- /SPLAR/doc/stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/doc/stylesheet.css -------------------------------------------------------------------------------- /SPLAR/resources/apagme.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/apagme.xml -------------------------------------------------------------------------------- /SPLAR/resources/lib/gson-1.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/lib/gson-1.6.jar -------------------------------------------------------------------------------- /SPLAR/resources/lib/javabdd.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/lib/javabdd.jar -------------------------------------------------------------------------------- /SPLAR/resources/lib/junit.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/lib/junit.jar -------------------------------------------------------------------------------- /SPLAR/resources/lib/opencsv-1.8.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/lib/opencsv-1.8.jar -------------------------------------------------------------------------------- /SPLAR/resources/lib/org.sat4j.core.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/lib/org.sat4j.core.jar -------------------------------------------------------------------------------- /SPLAR/resources/models/simple_bike_fm.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/models/simple_bike_fm.xml -------------------------------------------------------------------------------- /SPLAR/resources/tests/test_fm_configuration.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/tests/test_fm_configuration.xml -------------------------------------------------------------------------------- /SPLAR/resources/tests/test_fm_consistent.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/tests/test_fm_consistent.xml -------------------------------------------------------------------------------- /SPLAR/resources/tests/test_fm_inconsistent.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/resources/tests/test_fm_inconsistent.xml -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/DevelopmentTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/DevelopmentTests.java -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/experiments/Extractor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/experiments/Extractor.java -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/experiments/GenBench.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/experiments/GenBench.java -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/experiments/GenFM.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/experiments/GenFM.java -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/experiments/JSONFeatureModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/experiments/JSONFeatureModel.java -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/experiments/TestValidDomains.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/experiments/TestValidDomains.java -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/experiments/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/experiments/Tests.java -------------------------------------------------------------------------------- /SPLAR/src/splar/apps/generator/FMGeneratorEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/apps/generator/FMGeneratorEngine.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/constraints/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/constraints/Assignment.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/constraints/BooleanVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/constraints/BooleanVariable.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/constraints/CNFClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/constraints/CNFClause.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/constraints/CNFFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/constraints/CNFFormula.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/constraints/CNFGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/constraints/CNFGenerator.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/constraints/CNFLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/constraints/CNFLiteral.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/constraints/parsing/PFParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/constraints/parsing/PFParser.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FTTraversalNodeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FTTraversalNodeSelector.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FTTraversals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FTTraversals.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureGroup.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureModel.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureModelException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureModelException.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureModelListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureModelListener.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureModelState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureModelState.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureModelStatistics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureModelStatistics.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureTree.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureTreeNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureTreeNode.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/FeatureTreeNodeState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/FeatureTreeNodeState.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/GroupedFeature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/GroupedFeature.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/RootNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/RootNode.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/SolitaireFeature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/SolitaireFeature.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/XMLFeatureModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/XMLFeatureModel.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/clustering/FTCluster.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/clustering/FTCluster.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/fm/clustering/NodeCluster.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/fm/clustering/NodeCluster.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/util/CombinationGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/util/CombinationGenerator.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/util/Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/util/Utils.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/util/alloy/FM2AlloyConversor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/util/alloy/FM2AlloyConversor.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/util/hypergraphs/Hyperedge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/util/hypergraphs/Hyperedge.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/util/hypergraphs/Hypergraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/util/hypergraphs/Hypergraph.java -------------------------------------------------------------------------------- /SPLAR/src/splar/core/util/hypergraphs/Vertex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/core/util/hypergraphs/Vertex.java -------------------------------------------------------------------------------- /SPLAR/src/splar/plugins/tests/AllTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/plugins/tests/AllTests.java -------------------------------------------------------------------------------- /SPLAR/src/splar/plugins/tests/TestsGlobalContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/plugins/tests/TestsGlobalContext.java -------------------------------------------------------------------------------- /SPLAR/src/splar/samples/BDDReasoningExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/samples/BDDReasoningExample.java -------------------------------------------------------------------------------- /SPLAR/src/splar/samples/SATConfigurationExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/samples/SATConfigurationExample.java -------------------------------------------------------------------------------- /SPLAR/src/splar/samples/SATReasoningExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/SPLAR/src/splar/samples/SATReasoningExample.java -------------------------------------------------------------------------------- /changes to other bvr projects.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/changes to other bvr projects.txt -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/.classpath -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/.options: -------------------------------------------------------------------------------- 1 | de.ovgu.featureide.fm.core/debug=true -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/.project -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/Conventions.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/Conventions.xml -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/LinkedList.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/LinkedList.xml -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/Velvet.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/Velvet.g -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/build.properties -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/codetemplates.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/codetemplates.xml -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/fm.dtd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/fm.dtd -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/lib/annotations.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/lib/annotations.jar -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/lib/antlr-3.4.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/lib/antlr-3.4.jar -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/lib/guava-r09.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/lib/guava-r09.jar -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/lib/guidsl.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/lib/guidsl.jar -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/lib/jakarta.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/lib/jakarta.jar -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/lib/org.sat4j.core.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/lib/org.sat4j.core.jar -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/lib/org.sat4j.pb.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/lib/org.sat4j.pb.jar -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/license.txt -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/plugin.xml -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/schema/fmComposer.exsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/schema/fmComposer.exsd -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/siegmund.dtd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/siegmund.dtd.txt -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/And.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/And.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/AtLeast.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/AtLeast.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/AtMost.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/AtMost.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/Choose.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/Choose.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/Equals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/Equals.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/Implies.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/Implies.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/Literal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/Literal.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/Node.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/Not.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/Not.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/Or.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/Or.java -------------------------------------------------------------------------------- /de.ovgu.featureide.fm.core/src/org/prop4j/SatSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/de.ovgu.featureide.fm.core/src/org/prop4j/SatSolver.java -------------------------------------------------------------------------------- /docs/VARIES_D4.2_v01_PP_FINAL.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/docs/VARIES_D4.2_v01_PP_FINAL.pdf -------------------------------------------------------------------------------- /docs/VARIES_D4.3_v01_PU_FINAL.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/docs/VARIES_D4.3_v01_PU_FINAL.pdf -------------------------------------------------------------------------------- /no.sintef.bvr.common/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.common/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.common/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.common/.project -------------------------------------------------------------------------------- /no.sintef.bvr.common/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.common/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.common/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.common/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.common/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.common/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.common/lib/guava-14.0.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.common/lib/guava-14.0.1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.common/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.common/pom.xml -------------------------------------------------------------------------------- /no.sintef.bvr.common/src/main/resources/README: -------------------------------------------------------------------------------- 1 | resource common directory -------------------------------------------------------------------------------- /no.sintef.bvr.common/src/test/java/README: -------------------------------------------------------------------------------- 1 | test directory -------------------------------------------------------------------------------- /no.sintef.bvr.common/src/test/resources/README: -------------------------------------------------------------------------------- 1 | resource test directory -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.interfaces/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.interfaces/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.interfaces/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.interfaces/.project -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.interfaces/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.interfaces/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.interfaces/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.interfaces/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.test/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.test/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.test/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.test/.project -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.test/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.test/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.test/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.test/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.test/bvr.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.test/bvr.properties -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.test/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.test/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.constraints.test/resources/vmbase.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints.test/resources/vmbase.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/.project -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/BCL.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/BCL.g4 -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/ConfigurableUnit.xmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/ConfigurableUnit.xmi -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/pp.ocl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/pp.ocl -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test.hl: -------------------------------------------------------------------------------- 1 | hello parrt -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test1.bcl: -------------------------------------------------------------------------------- 1 | fax implies printer 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test1.xmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/test1.xmi -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test10.bcl: -------------------------------------------------------------------------------- 1 | A or not A 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test11.bcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/test11.bcl -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test12.bcl: -------------------------------------------------------------------------------- 1 | not A or isUndefined A 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test13.bcl: -------------------------------------------------------------------------------- 1 | A implies B or C 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test14.bcl: -------------------------------------------------------------------------------- 1 | A or B and C 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test15.bcl: -------------------------------------------------------------------------------- 1 | C + A*B + C < 3 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test16.bcl: -------------------------------------------------------------------------------- 1 | C + A*B + -C < 3 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test17.bcl: -------------------------------------------------------------------------------- 1 | A < (B + 5) 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test18.bcl: -------------------------------------------------------------------------------- 1 | true -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test19.bcl: -------------------------------------------------------------------------------- 1 | a/2 > ((b + 5) - 3) -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test1at.bcl: -------------------------------------------------------------------------------- 1 | fax@1 implies printer 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test2.bcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/test2.bcl -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test2.xmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/test2.xmi -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test3.bcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/test3.bcl -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test3.xmi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/test3.xmi -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test4.bcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/TestData/test4.bcl -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test5.bcl: -------------------------------------------------------------------------------- 1 | printer -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test6.bcl: -------------------------------------------------------------------------------- 1 | Speed > 1.2 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test7.bcl: -------------------------------------------------------------------------------- 1 | HighSpeed and threshold>100 implies EmergencyPower 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test8.bcl: -------------------------------------------------------------------------------- 1 | context Root inv: 2 | system = true 3 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/TestData/test9.bcl: -------------------------------------------------------------------------------- 1 | printer = "Konika Minolta" 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/lib/antlr-4.5-complete.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/lib/antlr-4.5-complete.jar -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/originals/grammar.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/originals/grammar.txt -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/test/BCLBaseListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/test/BCLBaseListener.java -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/test/BCLLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/test/BCLLexer.java -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/test/BCLListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/test/BCLListener.java -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/test/BCLParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/test/BCLParser.java -------------------------------------------------------------------------------- /no.sintef.bvr.constraints/tmp/JaCoPBCLChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.constraints/tmp/JaCoPBCLChecker.java -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.edit/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.edit/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.edit/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.edit/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.edit/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.edit/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.edit/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.edit/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.edit/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.edit/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.edit/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.edit/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.editor/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.editor/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.editor/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.editor/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.editor/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.editor/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.editor/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.editor/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model.editor/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model.editor/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/model/dvlconfig.ecore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/model/dvlconfig.ecore -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/model/dvlconfig.genmodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/model/dvlconfig.genmodel -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/src/dvlconfig/Config.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/src/dvlconfig/Config.java -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/src/dvlconfig/Goal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/src/dvlconfig/Goal.java -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/src/dvlconfig/Realop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/src/dvlconfig/Realop.java -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.config.model/src/dvlconfig/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.config.model/src/dvlconfig/State.java -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.interfaces/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.interfaces/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.interfaces/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.interfaces/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.interfaces/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.interfaces/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.popup/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.popup/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.popup/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.popup/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.popup/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.popup/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.popup/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.popup/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution.popup/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution.popup/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.execution/libs/guice-4.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.execution/libs/guice-4.0.jar -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.interfaces/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.interfaces/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.interfaces/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.interfaces/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.interfaces/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.interfaces/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.popup/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.popup/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.popup/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.popup/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.popup/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.popup/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.popup/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.popup/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen.popup/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen.popup/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen/.project -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.dvl.goalgen/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.dvl.goalgen/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.engine.interfaces/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.interfaces/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.engine.interfaces/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.interfaces/.project -------------------------------------------------------------------------------- /no.sintef.bvr.engine.interfaces/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.interfaces/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.engine.interfaces/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.interfaces/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.engine.interfaces/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.interfaces/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.engine.test/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.test/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.engine.test/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.test/.project -------------------------------------------------------------------------------- /no.sintef.bvr.engine.test/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.test/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.engine.test/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.test/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.engine.test/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine.test/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.engine/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.engine/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/.project -------------------------------------------------------------------------------- /no.sintef.bvr.engine/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.engine/META-INF/beans.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/META-INF/beans.xml -------------------------------------------------------------------------------- /no.sintef.bvr.engine/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.engine/class1.ucls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/class1.ucls -------------------------------------------------------------------------------- /no.sintef.bvr.engine/classes.ucls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/classes.ucls -------------------------------------------------------------------------------- /no.sintef.bvr.engine/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.engine/lib/batik-util-1.6-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/lib/batik-util-1.6-1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.engine/lib/commons-logging-1.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/lib/commons-logging-1.1.1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.engine/lib/spring-asm-3.1.3.RELEASE.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/lib/spring-asm-3.1.3.RELEASE.jar -------------------------------------------------------------------------------- /no.sintef.bvr.engine/lib/spring-beans-3.1.3.RELEASE.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/lib/spring-beans-3.1.3.RELEASE.jar -------------------------------------------------------------------------------- /no.sintef.bvr.engine/lib/spring-core-3.1.3.RELEASE.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/lib/spring-core-3.1.3.RELEASE.jar -------------------------------------------------------------------------------- /no.sintef.bvr.engine/package.ucls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/package.ucls -------------------------------------------------------------------------------- /no.sintef.bvr.engine/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/pom.xml -------------------------------------------------------------------------------- /no.sintef.bvr.engine/src/main/resources/log4j.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.engine/src/main/resources/log4j.properties -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/.project -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/BVRModel.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/BVRModel.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/Choice.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/Choice.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/Constraint.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/Constraint.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/Note.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/Note.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/OVPType.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/OVPType.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/ObjectType.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/ObjectType.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/Target.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/Target.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/TargetRef.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/TargetRef.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/ToBinding.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/ToBinding.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/VPackage.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/VPackage.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/VRef.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/VRef.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/VType.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/VType.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/obj16/Variable.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/obj16/Variable.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/icons/full/sample.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/icons/full/sample.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.model.edit/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.edit/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/.project -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/icons/full/wizban/NewBvr.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/icons/full/wizban/NewBvr.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/icons/sample.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/icons/sample.gif -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.model.editor/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model.editor/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.model/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.model/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/.project -------------------------------------------------------------------------------- /no.sintef.bvr.model/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.model/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.model/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.model/model/BVRMetamodel.ecore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/model/BVRMetamodel.ecore -------------------------------------------------------------------------------- /no.sintef.bvr.model/model/BVRMetamodel.genmodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/model/BVRMetamodel.genmodel -------------------------------------------------------------------------------- /no.sintef.bvr.model/model/BVRMetamodel5.ecore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/model/BVRMetamodel5.ecore -------------------------------------------------------------------------------- /no.sintef.bvr.model/model/BVRMetamodel5.genmodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/model/BVRMetamodel5.genmodel -------------------------------------------------------------------------------- /no.sintef.bvr.model/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.model/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.model/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/pom.xml -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/BCLConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/BCLConstraint.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/BCLExpression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/BCLExpression.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/BVRModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/BVRModel.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/BooleanLiteralExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/BooleanLiteralExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/BoundaryElementBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/BoundaryElementBinding.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/BvrFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/BvrFactory.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/BvrPackage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/BvrPackage.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/Choice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/Choice.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ChoiceOccurrence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ChoiceOccurrence.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ChoiceResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ChoiceResolution.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ChoiceVSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ChoiceVSpec.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ChoiceVariationPoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ChoiceVariationPoint.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/CompoundNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/CompoundNode.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/CompoundResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/CompoundResolution.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/Constraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/Constraint.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/FragmentSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/FragmentSubstitution.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/FromBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/FromBinding.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/FromPlacement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/FromPlacement.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/FromReplacement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/FromReplacement.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/IntegerLiteralExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/IntegerLiteralExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/MultiplicityInterval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/MultiplicityInterval.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/NamedElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/NamedElement.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/NegResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/NegResolution.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/Note.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/Note.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/NumericLiteralExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/NumericLiteralExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/OVPSemanticSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/OVPSemanticSpec.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/OVPType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/OVPType.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ObjectHandle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ObjectHandle.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ObjectSpecification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ObjectSpecification.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ObjectType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ObjectType.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/OpaqueConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/OpaqueConstraint.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/OpaqueVariationPoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/OpaqueVariationPoint.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/Operation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/Operation.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/OperationCallExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/OperationCallExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/PlacementFragment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/PlacementFragment.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/PosResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/PosResolution.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/PrimitiveTypeEnum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/PrimitiveTypeEnum.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/PrimitveType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/PrimitveType.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/RealLiteralExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/RealLiteralExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ReplacementFragmentType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ReplacementFragmentType.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ResolutionLiteralUse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ResolutionLiteralUse.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/SlotAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/SlotAssignment.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/StagedVariationPoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/StagedVariationPoint.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/StringLiteralExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/StringLiteralExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/Target.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/Target.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/TargetRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/TargetRef.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ToBinding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ToBinding.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ToPlacement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ToPlacement.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ToReplacement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ToReplacement.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/UnlimitedLiteralExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/UnlimitedLiteralExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VClassOccurrence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VClassOccurrence.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VClassifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VClassifier.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VNode.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VPackage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VPackage.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VPackageable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VPackageable.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VRef.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VRefValueSpecification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VRefValueSpecification.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VSpec.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VSpec.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VSpecResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VSpecResolution.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VType.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ValueResolution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ValueResolution.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/ValueSpecification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/ValueSpecification.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/Variable.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/Variabletype.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/Variabletype.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/VariationPoint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/VariationPoint.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/BCLConstraintImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/BCLConstraintImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/BCLExpressionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/BCLExpressionImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/BVRModelImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/BVRModelImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/BvrFactoryImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/BvrFactoryImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/BvrPackageImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/BvrPackageImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ChoiceImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ChoiceImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ChoiceVSpecImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ChoiceVSpecImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/CompoundNodeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/CompoundNodeImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ConstraintImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ConstraintImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/FromBindingImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/FromBindingImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/FromPlacementImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/FromPlacementImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/NamedElementImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/NamedElementImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/NegResolutionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/NegResolutionImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/NoteImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/NoteImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/OVPTypeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/OVPTypeImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ObjectHandleImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ObjectHandleImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ObjectTypeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ObjectTypeImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/PosResolutionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/PosResolutionImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/PrimitveTypeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/PrimitveTypeImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/RealLiteralExpImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/RealLiteralExpImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/SlotAssignmentImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/SlotAssignmentImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/TargetImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/TargetImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/TargetRefImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/TargetRefImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ToBindingImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ToBindingImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ToPlacementImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ToPlacementImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/ToReplacementImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/ToReplacementImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VClassifierImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VClassifierImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VNodeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VNodeImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VPackageImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VPackageImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VPackageableImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VPackageableImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VRefImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VRefImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VSpecImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VSpecImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VTypeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VTypeImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VariableImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VariableImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VariabletypeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VariabletypeImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/impl/VariationPointImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/impl/VariationPointImpl.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/util/BvrAdapterFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/util/BvrAdapterFactory.java -------------------------------------------------------------------------------- /no.sintef.bvr.model/src/bvr/util/BvrSwitch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.model/src/bvr/util/BvrSwitch.java -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter.test/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter.test/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter.test/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter.test/.project -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter.test/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter.test/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter/.project -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagram.adapter/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagram.adapter/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagramadapter2/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagramadapter2/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagramadapter2/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagramadapter2/.project -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagramadapter2/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagramadapter2/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagramadapter2/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagramadapter2/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagramadapter2/icons/sample.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagramadapter2/icons/sample.gif -------------------------------------------------------------------------------- /no.sintef.bvr.papyrusdiagramadapter2/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.papyrusdiagramadapter2/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.edit/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.edit/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.edit/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.edit/.project -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.edit/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.edit/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.edit/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.edit/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.edit/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.edit/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.edit/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.edit/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.editor/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.editor/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.editor/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.editor/.project -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.editor/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.editor/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.editor/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.editor/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.editor/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.editor/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model.editor/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model.editor/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/.project -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/model/Realop.ecore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/model/Realop.ecore -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/model/Realop.genmodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/model/Realop.genmodel -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/plugin.properties -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/AndExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/AndExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/Expression.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/Expression.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/IsNegative.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/IsNegative.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/IsPositive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/IsPositive.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/IsRealised.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/IsRealised.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/NotExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/NotExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/Operator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/Operator.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/OrExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/OrExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/Realop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/Realop.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/RealopFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/RealopFactory.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/RealopPackage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/RealopPackage.java -------------------------------------------------------------------------------- /no.sintef.bvr.realop.model/src/realop/XorExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.realop.model/src/realop/XorExp.java -------------------------------------------------------------------------------- /no.sintef.bvr.test.common/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.test.common/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.test.common/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.test.common/.project -------------------------------------------------------------------------------- /no.sintef.bvr.test.common/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.test.common/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.test.common/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.test.common/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.test.common/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.test.common/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.interfaces/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.interfaces/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.interfaces/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.interfaces/.project -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.interfaces/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.interfaces/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.interfaces/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.interfaces/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.interfaces/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.interfaces/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/.project -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/bvr.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/bvr.properties -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/resources/mode-trivial.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/resources/mode-trivial.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty.test/resources/vm/VarModel.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty.test/resources/vm/VarModel.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty/.project -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty/class.ucls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty/class.ucls -------------------------------------------------------------------------------- /no.sintef.bvr.thirdparty/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.thirdparty/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.tool.interfaces/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.interfaces/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.tool.interfaces/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.interfaces/.project -------------------------------------------------------------------------------- /no.sintef.bvr.tool.interfaces/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.interfaces/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.tool.interfaces/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.interfaces/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.tool.interfaces/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.interfaces/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/.project -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/bvr.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/bvr.properties -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/cross_base1.uml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/cross_base1.uml -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/cross_base2.uml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/cross_base2.uml -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/cross_lib.uml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/cross_lib.uml -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/cross_model.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/cross_model.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/mode-trivial.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/mode-trivial.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/model.di: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/model.di -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/model.notation: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/model.notation -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/model.uml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/model.uml -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/trivial_base.uml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/trivial_base.uml -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/trivial_lib.uml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/trivial_lib.uml -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/vm/VarModel.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/vm/VarModel.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/vm/addvspectarget.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/vm/addvspectarget.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/vm/trivial_src.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/vm/trivial_src.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.tool.test/resources/vm/trivial_trg.bvr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool.test/resources/vm/trivial_trg.bvr -------------------------------------------------------------------------------- /no.sintef.bvr.tool/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.tool/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/.project -------------------------------------------------------------------------------- /no.sintef.bvr.tool/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.tool/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.tool/class.ucls: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/class.ucls -------------------------------------------------------------------------------- /no.sintef.bvr.tool/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/antlr-4.5-complete.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/antlr-4.5-complete.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/batik-awt-util-1.6-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/batik-awt-util-1.6-1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/batik-dom-1.6-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/batik-dom-1.6-1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/batik-svggen-1.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/batik-svggen-1.6.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/batik-util-1.6-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/batik-util-1.6-1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/combinatoricslib-2.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/combinatoricslib-2.0.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/guava-15.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/guava-15.0.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/lib/swingx-all-1.6.5-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/lib/swingx-all-1.6.5-1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.tool/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.tool/pom.xml -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.commands/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.commands/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.commands/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.commands/.project -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.commands/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.commands/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.commands/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.commands/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.commands/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.commands/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/.project -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/icons/redo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/icons/redo.png -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/icons/sample.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/icons/sample.gif -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/icons/undo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/icons/undo.png -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.common/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.common/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.realization/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.realization/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.realization/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.realization/.project -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.realization/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.realization/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.realization/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.realization/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.resolutionV2/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.resolutionV2/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.resolutionV2/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.resolutionV2/.project -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.resolutionV2/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.resolutionV2/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.resolutionV2/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.resolutionV2/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.type/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.type/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.type/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.type/.project -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.type/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.type/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.type/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.type/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.type/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.type/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.type/icons/sample.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.type/icons/sample.gif -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.type/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.type/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.vspec/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.vspec/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.vspec/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.vspec/.project -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.vspec/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.vspec/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.vspec/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.vspec/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.vspec/icons/sample.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.vspec/icons/sample.gif -------------------------------------------------------------------------------- /no.sintef.bvr.ui.editor.mvc.vspec/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.editor.mvc.vspec/plugin.xml -------------------------------------------------------------------------------- /no.sintef.bvr.ui.framework/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.framework/.classpath -------------------------------------------------------------------------------- /no.sintef.bvr.ui.framework/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.framework/.project -------------------------------------------------------------------------------- /no.sintef.bvr.ui.framework/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.framework/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.bvr.ui.framework/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.framework/build.properties -------------------------------------------------------------------------------- /no.sintef.bvr.ui.framework/graphics/ErrorTriangle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.framework/graphics/ErrorTriangle.png -------------------------------------------------------------------------------- /no.sintef.bvr.ui.framework/lib/swingx-all-1.6.5-1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.framework/lib/swingx-all-1.6.5-1.jar -------------------------------------------------------------------------------- /no.sintef.bvr.ui.framework/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.ui.framework/pom.xml -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.autoreal/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.autoreal/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.autoreal/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.autoreal/feature.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.autoreal/feature.xml -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.featureidecore/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.featureidecore/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.featureidecore/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.model/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.model/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.model/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.model/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.model/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.model/feature.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.model/feature.xml -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.realization/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.mvc.realization/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.realization/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.resolutionV2/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.mvc.resolutionV2/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.resolutionV2/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.vspec/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.mvc.vspec/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.vspec/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.vspec/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.mvc.vspec/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.mvc.vspec/feature.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.mvc.vspec/feature.xml -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.papyrusdiagram.adapter/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.splcatool/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.splcatool/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.splcatool/build.properties: -------------------------------------------------------------------------------- 1 | bin.includes = feature.xml 2 | -------------------------------------------------------------------------------- /no.sintef.bvr.usite.feature.splcatool/feature.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite.feature.splcatool/feature.xml -------------------------------------------------------------------------------- /no.sintef.bvr.usite/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite/.project -------------------------------------------------------------------------------- /no.sintef.bvr.usite/site.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.bvr.usite/site.xml -------------------------------------------------------------------------------- /no.sintef.dsl.node/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/.classpath -------------------------------------------------------------------------------- /no.sintef.dsl.node/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/.project -------------------------------------------------------------------------------- /no.sintef.dsl.node/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.dsl.node/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/build.properties -------------------------------------------------------------------------------- /no.sintef.dsl.node/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.dsl.node/model/node.ecore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/model/node.ecore -------------------------------------------------------------------------------- /no.sintef.dsl.node/model/node.ecorediag: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/model/node.ecorediag -------------------------------------------------------------------------------- /no.sintef.dsl.node/model/node.genmodel: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/model/node.genmodel -------------------------------------------------------------------------------- /no.sintef.dsl.node/plugin.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/plugin.properties -------------------------------------------------------------------------------- /no.sintef.dsl.node/plugin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/plugin.xml -------------------------------------------------------------------------------- /no.sintef.dsl.node/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/pom.xml -------------------------------------------------------------------------------- /no.sintef.dsl.node/src/node/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/src/node/Node.java -------------------------------------------------------------------------------- /no.sintef.dsl.node/src/node/NodeFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/src/node/NodeFactory.java -------------------------------------------------------------------------------- /no.sintef.dsl.node/src/node/NodePackage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/src/node/NodePackage.java -------------------------------------------------------------------------------- /no.sintef.dsl.node/src/node/impl/NodeFactoryImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/src/node/impl/NodeFactoryImpl.java -------------------------------------------------------------------------------- /no.sintef.dsl.node/src/node/impl/NodeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/src/node/impl/NodeImpl.java -------------------------------------------------------------------------------- /no.sintef.dsl.node/src/node/impl/NodePackageImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/src/node/impl/NodePackageImpl.java -------------------------------------------------------------------------------- /no.sintef.dsl.node/src/node/util/NodeSwitch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.dsl.node/src/node/util/NodeSwitch.java -------------------------------------------------------------------------------- /no.sintef.ict.splcatool.test/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool.test/.classpath -------------------------------------------------------------------------------- /no.sintef.ict.splcatool.test/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool.test/.project -------------------------------------------------------------------------------- /no.sintef.ict.splcatool.test/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool.test/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.ict.splcatool.test/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool.test/build.properties -------------------------------------------------------------------------------- /no.sintef.ict.splcatool.test/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool.test/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/.classpath -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/.order: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/.order -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/.project -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/ComponentWatch.m.afm: -------------------------------------------------------------------------------- 1 | NA Stopwatch Worldtime -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/Jplug-fm.xml.afm: -------------------------------------------------------------------------------- 1 | AL interface -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/buggy/empty/rvm-no-software.m: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/buggy/empty/rvm-no-software.m.ca2.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/buggy/empty/rvm.m.actual-weighted.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/buggy/empty/rvm.m.actual-weighted2.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/buggy/empty/rvm.m.actual.csv: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/buggy/empty/x.dimacs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Artificial/buggy/empty/x.xml: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Apl.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Apl.cnf -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Apl.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Apl.fm -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Apl.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Apl.m -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Berkeley.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Berkeley.m -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Berkeley.m.afm: -------------------------------------------------------------------------------- 1 | AL FNIOType -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Car.xfm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Car.xfm -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Gg4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Gg4.cnf -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Gg4.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Gg4.fm -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Gg4.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Gg4.m -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/TightVNC.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/TightVNC.m -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/TightVNC.m.afm: -------------------------------------------------------------------------------- 1 | NA AboutButtonFeat OpJPEGqualityFeat -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Violet.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Violet.cnf -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Violet.fm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Violet.fm -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/Violet.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/Violet.m -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/car_fm.afm: -------------------------------------------------------------------------------- 1 | AL Collision_Avoidance_Braking -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/car_fm.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/TestData/Realistic/car_fm.xml -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/connector_fm.xml.afm: -------------------------------------------------------------------------------- 1 | AL Technology 2 | -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/TestData/Realistic/fame_dbms_fm.xml.afm: -------------------------------------------------------------------------------- 1 | AL OS -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/build.properties -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/epl-v10.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/epl-v10.html -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/lib/annotations.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/lib/annotations.jar -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/lib/apoi/dom4j-1.6.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/lib/apoi/dom4j-1.6.1.jar -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/lib/apoi/poi-3.7-20101029.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/lib/apoi/poi-3.7-20101029.jar -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/lib/apoi/xmlbeans-2.3.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/lib/apoi/xmlbeans-2.3.0.jar -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/lib/commons-math-2.2.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/lib/commons-math-2.2.jar -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/lib/jgrapht-jdk1.6.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/lib/jgrapht-jdk1.6.jar -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/lib/jsr305.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/lib/jsr305.jar -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/schema/graphml-attributes.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/schema/graphml-attributes.xsd -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/schema/graphml-parseinfo.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/schema/graphml-parseinfo.xsd -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/schema/graphml-structure.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/schema/graphml-structure.xsd -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/schema/graphml.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/schema/graphml.xsd -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/schema/xlink.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/schema/xlink.xsd -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/schema/ygraphml.xsd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/schema/ygraphml.xsd -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/test.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/test.csv -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/test.dat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/test.dat -------------------------------------------------------------------------------- /no.sintef.ict.splcatool/test2.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/no.sintef.ict.splcatool/test2.csv -------------------------------------------------------------------------------- /org.json/.classpath: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/.classpath -------------------------------------------------------------------------------- /org.json/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/.project -------------------------------------------------------------------------------- /org.json/.settings/org.eclipse.jdt.core.prefs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/.settings/org.eclipse.jdt.core.prefs -------------------------------------------------------------------------------- /org.json/META-INF/MANIFEST.MF: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/META-INF/MANIFEST.MF -------------------------------------------------------------------------------- /org.json/bin/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/bin/README -------------------------------------------------------------------------------- /org.json/build.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/build.properties -------------------------------------------------------------------------------- /org.json/src/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/README -------------------------------------------------------------------------------- /org.json/src/org/json/CDL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/CDL.java -------------------------------------------------------------------------------- /org.json/src/org/json/Cookie.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/Cookie.java -------------------------------------------------------------------------------- /org.json/src/org/json/CookieList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/CookieList.java -------------------------------------------------------------------------------- /org.json/src/org/json/HTTP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/HTTP.java -------------------------------------------------------------------------------- /org.json/src/org/json/HTTPTokener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/HTTPTokener.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONArray.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONException.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONML.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONML.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONObject.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONString.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONString.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONStringer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONStringer.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONTokener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONTokener.java -------------------------------------------------------------------------------- /org.json/src/org/json/JSONWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/JSONWriter.java -------------------------------------------------------------------------------- /org.json/src/org/json/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/Test.java -------------------------------------------------------------------------------- /org.json/src/org/json/XML.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/XML.java -------------------------------------------------------------------------------- /org.json/src/org/json/XMLTokener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/SINTEF-9012/bvr/HEAD/org.json/src/org/json/XMLTokener.java --------------------------------------------------------------------------------