Package de.FeatureModellingTool.PLModelChecker.RelationAnalysis

Examples of de.FeatureModellingTool.PLModelChecker.RelationAnalysis.ConstraintRelationDiagram


      AtomedFeature  cur  =  (AtomedFeature)allAtomedFeatures.get(e.next());
      if  (cur.BddVar  ==  1)
        System.out.println(cur.feature.getName()+"  "+cur.atomSetNum+roots.contains(cur.feature));
    }*/
    if (this.optimized) {
      ConstraintRelationDiagram crd = new ConstraintRelationDiagram(featureModel , constraintModel , null);
      Collection<ConstraintRelationDiagram.NGraph> graphs = crd.getGraph().getConnectedGraph();
      List<Feature> rootList = new ArrayList<Feature>();
      for (Iterator<ConstraintRelationDiagram.NGraph> itGraph=graphs.iterator() ; itGraph.hasNext() ; ) {
        ConstraintRelationDiagram.NGraph graph = itGraph.next();
        for (Iterator<Feature> itFeature=roots.iterator() ; itFeature.hasNext() ; ) {
          Feature feature = itFeature.next();
View Full Code Here

TOP

Related Classes of de.FeatureModellingTool.PLModelChecker.RelationAnalysis.ConstraintRelationDiagram

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.