Examples of aterm.AFun

    
    return true;
  }
  
  protected int processClass(AtomIObject var, ATermAppl c, List<RuleAtom> atoms, int varCount) {
    AFun afun = c.getAFun();
    if( afun.equals( ATermUtils.ANDFUN ) ) {
      for( ATermList list = (ATermList) c.getArgument( 0 ); !list.isEmpty(); list = list.getNext() ) {
        ATermAppl conjunct = (ATermAppl) list.getFirst();
        varCount = processClass( var, conjunct, atoms, varCount );
      }
    }
    else if( afun.equals( ATermUtils.SOMEFUN ) ) {
      ATermAppl p = (ATermAppl) c.getArgument( 0 );
      ATermAppl filler = (ATermAppl) c.getArgument( 1 );
      
      if( filler.getAFun().equals( ATermUtils.VALUEFUN ) ) {
        ATermAppl nominal = (ATermAppl) filler.getArgument( 0 );

    
    return varCount;
  }
  
  protected void processDatatype(AtomDObject var, ATermAppl c, List<RuleAtom> atoms) {
    AFun afun = c.getAFun();
    if( afun.equals( ATermUtils.ANDFUN ) ) {
      for( ATermList list = (ATermList) c.getArgument( 0 ); !list.isEmpty(); list = list.getNext() ) {
        ATermAppl conjunct = (ATermAppl) list.getFirst();
        processDatatype( var, conjunct, atoms );
      }
    }
    else if( afun.equals( ATermUtils.RESTRDATATYPEFUN ) ) {
      ATermAppl baseDatatype = (ATermAppl) c.getArgument( 0 );
      
      atoms.add( new DataRangeAtom( baseDatatype, var ) );
      
      for( ATermList list = (ATermList) c.getArgument( 1 ); !list.isEmpty(); list = list.getNext() ) {

Related Classes of aterm.AFun

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.