List of generatePosNeg() Examples

Examples of generatePosNeg()

statechum.analysis.learning.rpnicore.RandomPathGenerator.generatePosNeg()
Generates positive and negative paths where negatives are just positives with an extra element added at the end. Data added is split into a number of parts, with a specific number of sequences per chunk. @param numberPerChunk number of sequences per chunk. @param chunks the number of chunks to generate. @param length the maximal length of paths, minimal is 1.

Examples of statechum.analysis.learning.rpnicore.RandomPathGenerator.generatePosNeg()

       final Collection<List<Label>> wMethod = graphReference.wmethod.getFullTestSet(1);
       int wPos=0;
       for(List<Label> seq:wMethod) if (graphReference.paths.tracePathPrefixClosed(seq) == AbstractOracle.USER_ACCEPTED) wPos++;
       System.out.println("before rnd: "+wMethod.size()+" sequences, "+wPos+" positives");
       RandomPathGenerator pathGen = new RandomPathGenerator(graphReference,new Random(0),5,graphReference.getInit());
       pathGen.generatePosNeg(2*(wMethod.size()-wPos), 1);
       wMethod.addAll(pathGen.getExtraSequences(0).getData());
       System.out.println("after rnd: "+wMethod.size()+" sequences");
       
       
       DrawGraphs gr = new DrawGraphs();

View Full Code Here

Examples of statechum.analysis.learning.rpnicore.RandomPathGenerator.generatePosNeg()

    
    {
      Collection<List<Label>> sequences =new LinkedHashSet<List<Label>>();
      RandomPathGenerator rpg = new RandomPathGenerator(from, new Random(0),4, from.getInit());// the seed for Random should be the same for each file
      long startTime = System.nanoTime();
      rpg.generatePosNeg((graphComplexity+1)*states , 1);
      outcome.setValue(LONG_V.DURATION_RAND,System.nanoTime()-startTime);
      sequences.addAll(rpg.getAllSequences(0).getData(PTASequenceEngine.truePred));
      sequences.addAll(rpg.getExtraSequences(0).getData(PTASequenceEngine.truePred));
      Pair<Double,Long> randSeq = compareLang(from, to, sequences);
      outcome.setValue(LONG_V.DURATION_RAND, outcome.getValue(LONG_V.DURATION_RAND)+randSeq.secondElem);

View Full Code Here

Examples of statechum.analysis.learning.rpnicore.RandomPathGenerator.generatePosNeg()

       final Collection<List<Label>> wMethod = graphReference.wmethod.getFullTestSet(1);
       int wPos=0;
       for(List<Label> seq:wMethod) if (graphReference.paths.tracePathPrefixClosed(seq) == AbstractOracle.USER_ACCEPTED) wPos++;
       System.out.println("before rnd: "+wMethod.size()+" sequences, "+wPos+" positives");
       RandomPathGenerator pathGen = new RandomPathGenerator(graphReference,new Random(0),5,graphReference.getInit());
       pathGen.generatePosNeg(2*(wMethod.size()-wPos), 1);
       wMethod.addAll(pathGen.getExtraSequences(0).getData());
       System.out.println("after rnd: "+wMethod.size()+" sequences");
       
       
       DrawGraphs gr = new DrawGraphs();

View Full Code Here

Examples of statechum.analysis.learning.rpnicore.RandomPathGenerator.generatePosNeg()

    
    {
      Collection<List<Label>> sequences =new LinkedHashSet<List<Label>>();
      RandomPathGenerator rpg = new RandomPathGenerator(from, new Random(0),4, from.getInit());// the seed for Random should be the same for each file
      long startTime = System.nanoTime();
      rpg.generatePosNeg((graphComplexity+1)*states , 1);
      outcome.setValue(LONG_V.DURATION_RAND,System.nanoTime()-startTime);
      sequences.addAll(rpg.getAllSequences(0).getData(PTASequenceEngine.truePred));
      sequences.addAll(rpg.getExtraSequences(0).getData(PTASequenceEngine.truePred));
      Pair<Double,Long> randSeq = compareLang(from, to, sequences);
      outcome.setValue(LONG_V.DURATION_RAND, outcome.getValue(LONG_V.DURATION_RAND)+randSeq.secondElem);

View Full Code Here

0 1 2

TOP

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.