Package aterm

Examples of aterm.ATermReal

828
829
830
831
832
833
834
835
836
837
838
839
840
        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
80
81
82
83
84
85
86
87
88
89
90
91
92
    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

  • aterm.pure.ATermRealImpl
  • aterm.pure.PureFactory
    • 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.