Examples of aterm.ATerm

aterm.ATerm
This is the base interface for all ATerm interfaces, which will ultimately be implemented by two separate ATerm Factories (a native and a pure one). @author Hayco de Jong (jong@cwi.nl) @author Pieter Olivier (olivierp@cwi.nl)

  }


  
  public void visit(OWLObjectSomeValuesFrom restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getFiller().accept( this );
    ATerm c = term;


    term = ATermUtils.makeSomeValues( p, c );
  }

View Full Code Here

  }


  
  public void visit(OWLObjectAllValuesFrom restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getFiller().accept( this );
    ATerm c = term;


    term = ATermUtils.makeAllValues( p, c );
  }

View Full Code Here

  }


  
  public void visit(OWLObjectHasValue restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getValue().accept( this );
    ATermAppl ind = term;


    term = ATermUtils.makeHasValue( p, ind );
  }

View Full Code Here

  
  public void visit(OWLObjectExactCardinality restriction) {
    addSimpleProperty( restriction.getProperty() );


    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeCard( p, n, desc );

View Full Code Here

  
  public void visit(OWLObjectMaxCardinality restriction) {
    addSimpleProperty( restriction.getProperty() );


    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeMax( p, n, desc );

View Full Code Here

  
  public void visit(OWLObjectMinCardinality restriction) {
    addSimpleProperty( restriction.getProperty() );


    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeMin( p, n, desc );

View Full Code Here

  }


  
  public void visit(OWLDataExactCardinality restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeCard( p, n, desc );

View Full Code Here

  }


  
  public void visit(OWLDataMaxCardinality restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeMax( p, n, desc );

View Full Code Here

  }


  
  public void visit(OWLDataMinCardinality restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeMin( p, n, desc );

View Full Code Here

  }


  
  public void visit(OWLDataAllValuesFrom restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getFiller().accept( this );
    ATerm c = term;


    term = ATermUtils.makeAllValues( p, c );
  }

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of aterm.ATerm

apigen.adt.ADT

apigen.adt.Alternative

apigen.adt.Type

apigen.gen.c.APIGenerator

apigen.gen.c.CDictionaryGenerator

aterm.pure.ATermApplImpl

aterm.pure.ATermBlobImpl

aterm.pure.ATermImpl

aterm.pure.ATermIntImpl

aterm.pure.ATermListImpl

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.