org.omwg.logicalexpression.terms
Interface BuiltInConstructedTerm

All Superinterfaces:

ConstructedTerm, Term

public interface BuiltInConstructedTerm
extends ConstructedTerm

Built in contructed terms (symbols) represent such constructed terms that are defined as built-in. E.g. wsml#numericAdd(1,1) (which would be in the surface syntax 1+1.

 Created on Sep 7, 2005
 Committed by $Author$
 $Source$,
 

Version:

$Revision$ $Date$

Author:

Holger Lausen (holger.lausen@deri.org)

Method Summary

Methods inherited from interface org.omwg.logicalexpression.terms.ConstructedTerm

getArity, getFunctionSymbol, getParameter, listParameters

Methods inherited from interface org.omwg.logicalexpression.terms.Term

accept