Package aterm

Examples of aterm.ATermReal


        ATermLong elongatedType = (ATermLong) term;
       
        result = makeLong(elongatedType.getLong());
        break;
      case ATerm.REAL:
        ATermReal real = (ATermReal) term;
       
        result = makeReal(real.getReal());
        break;
      case ATerm.PLACEHOLDER:
        ATermPlaceholder placeHolder = (ATermPlaceholder) term;
       
        result = makePlaceholder(importTerm(placeHolder.getPlaceholder()));
View Full Code Here


    return this;
  }

  public boolean equivalent(SharedObject obj){
    if(obj instanceof ATermReal){
      ATermReal peer = (ATermReal) obj;
      if(peer.getType() != getType()) return false;
     
      return (peer.getReal() == value && peer.getAnnotations().equals(getAnnotations()));
    }
   
    return false;
  }
View Full Code Here

TOP

Related Classes of aterm.ATermReal

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.