List of cross() Examples

Examples of cross()

Hexel.math.Vector3d.cross()
ca.eandb.jmist.math.Vector3.cross()
Computes the cross product of two vectors. @param v The vector to compute the cross product of with this vector. @return The cross product of this vector and v.
com.ardor3d.math.type.ReadOnlyVector3.cross()
com.jme.math.Vector3f.cross()
com.jme3.math.Vector3f.cross()
cross calculates the cross product of this vector with a parameter vector v. @param v the vector to take the cross product of with this. @return the cross product vector.
crazypants.vecmath.Vector3d.cross()
javax.vecmath.Vector3d.cross()
javax.vecmath.Vector3f.cross()
kodkod.engine.bool.BooleanMatrix.cross()
Returns the cross product of this and other matrix, using conjunction instead of multiplication. @return { m: BooleanMatrix | m = this x other } @throws NullPointerException - other = null @throws IllegalArgumentException - this.factory != other.factory
org.uguess.birt.report.engine.spreadsheet.model.MergeBlock.cross()
Returns if current merge block crosses another merge block. @param merge @return
railo.runtime.img.vecmath.Vector3f.cross()
se.llbit.math.Vector3d.cross()
Set this vector equal to the cross product of a and b @param a @param b
statechum.model.testset.PTASequenceEngine.SequenceSet.cross()
statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet.cross()

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

  
  @Test
  public final void test_sequenceSet4_1() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.cross(TestFSMAlgo.buildList(new String[][] {
        new String[] {"a","b","c"}
    })));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a","b","c"}
    });

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
    
    return allSequences;
  }


  /** Checks if a PTA constructed is consistent with provided sequences. */

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
    
    return allSequences;
  }


  /** Checks if a PTA constructed is consistent with provided sequences. */

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

            }
            
          });
        }
      };
      SequenceSet minusInit = sOrigMinus.new SequenceSet();minusInit.setIdentity();minusInit.cross(minusTrainingSet);
      int totalLenOrig = 0, origNumber=0;
      for(List<String> seq:minusTrainingSet)
      {
        assert seq.size() > 1;
        assert graph.getVertex(seq) == null;// the seq is negative indeed

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

      learned = learn(l,sMinus);
      //learned = new LearnerGraph(config);
      
      PTASequenceEngine testSetEngine = new PTA_FSMStructure(graph);
      SequenceSet ptaTestSet = testSetEngine.new SequenceSet();ptaTestSet.setIdentity();
      ptaTestSet.cross(graph.wmethod.getFullTestSet(1));


      PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(learned);
      
      PosNegPrecisionRecall ptaPR = precRec.crossWith(sMinus);
      PosNegPrecisionRecall prNeg = precRec.crossWith(testSetEngine);

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

    LearnerGraph learned = new LearnerGraph(learningOutcome,config);
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(learned);
    PTASequenceEngine engine = new PTA_FSMStructure(graph);
    precRec.crossWith(sMinus);
    SequenceSet ptaTestSet = engine.new SequenceSet();ptaTestSet.setIdentity();
    ptaTestSet = ptaTestSet.cross(graph.wmethod.getFullTestSet(1));
    PosNegPrecisionRecall prNeg = precRec.crossWith(engine);
    System.out.println("pre: "+prNeg.getPrecision()+" rec: "+prNeg.getRecall());
    /*
    LearnerGraph.testMode=true;
    StatePair p = new StatePair(graph.findVertex("P1062"),graph.findVertex("P1153"));

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

      LearnerGraph learned = learn(recorder,sMinus);
      PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(learned);
      PTASequenceEngine engine = new PTA_FSMStructure(graph);
      PosNegPrecisionRecall ptaPR = precRec.crossWith(sMinus);
      SequenceSet ptaTestSet = engine.new SequenceSet();ptaTestSet.setIdentity();
      ptaTestSet = ptaTestSet.cross(graph.wmethod.getFullTestSet(1));
      PosNegPrecisionRecall prNeg = precRec.crossWith(engine);
      
      // Columns 3 and 4
      result = result+prNeg.precision+FS+prNeg.recall;

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

                Set<List<Label>> traceData = traces.get(uav).get(earlierFrame);
                
                if (traceData != null)
                {
                  SequenceSet initSeq = traceDetailsUAV.new SequenceSet();initSeq.setIdentity();((Automaton)traceDetailsUAV.getFSM()).setAccept(isAccept);
                  initSeq.cross(traceData);
                }
               }
            }
          }
        }

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
    
    return allSequences;
  }


  /** Checks if a PTA constructed is consistent with provided sequences. */

View Full Code Here

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.cross()

      {
        return !rejectAllStates.booleanValue();
      }
    });
    SequenceSet initSeq = allSequences.new SequenceSet();initSeq.setIdentity();
    initSeq.cross(plusStrings);statesAccept.getAndSet(false);initSeq.cross(minusStrings);
    
    return allSequences;
  }


  /** Checks if a PTA constructed is consistent with provided sequences. */

View Full Code Here

0 1 2 3 4 5 6

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.