Package statechum.analysis.learning.observers.ProgressDecorator

Examples of statechum.analysis.learning.observers.ProgressDecorator.AugmentPTAData


   */
  @Override
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {

    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
   
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);

    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);

    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }

    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast
View Full Code Here


   * @param newColour loaded from XML.
   */
  public synchronized void AugmentPTA(computeStateScores pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {

    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
   
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);

    checkCall(KIND_OF_METHOD.M_AUGMENT);

    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }

    checkCall(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast
View Full Code Here

   */
  @Override
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<Label> sequence, boolean accepted, JUConstants newColour) {

    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
   
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);

    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);

    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }

    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast
View Full Code Here

   */
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {
   
    boolean first = checkCall(KIND_OF_METHOD.M_AUGMENT);
    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
    if (first)
      augmentData = data;// we are the first thread here
    else
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }
    waitForOtherThread(first);// make sure that both threads synchronize at this point.

View Full Code Here

   * @param newColour loaded from XML.
   */
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {

    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
   
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);

    checkCall(KIND_OF_METHOD.M_AUGMENT);

    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }

    checkCall(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast
View Full Code Here

   */
  @Override
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<String> sequence, boolean accepted, JUConstants newColour) {

    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
   
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);

    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);

    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }

    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast
View Full Code Here

   */
  @Override
  public synchronized void AugmentPTA(LearnerGraph pta, RestartLearningEnum ptaKind,
      List<Label> sequence, boolean accepted, JUConstants newColour) {

    AugmentPTAData data = new AugmentPTAData(ptaKind,sequence,accepted,newColour);
   
    // now call the expected method
    if (Thread.currentThread() == secondThread)
    {
      whatToCompareWith.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);
      augmentData = data;
    }
    else
      decoratedLearner.AugmentPTA(pta, ptaKind, sequence, accepted, newColour);

    syncOnCallOf(KIND_OF_METHOD.M_AUGMENT);

    if (Thread.currentThread() != secondThread)
    {
      if (!data.equals(augmentData))  // second thread, checking.
        failureCode = new IllegalArgumentException("different augment PTA values");
      augmentData=null;// reset stored data
    }

    syncOnCallOf(KIND_OF_METHOD.M_METHODEXIT);// aims to stop one of the threads running fast
View Full Code Here

TOP

Related Classes of statechum.analysis.learning.observers.ProgressDecorator.AugmentPTAData

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.