Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.openqed.struct.formula
Interface FunctorApplication

All Known Implementing Classes:
FunctionTerm, PredicateFormula
public interface FunctorApplication

Method Summary
 FunctorId getFunctorId()
           
 java.lang.String getFunctorName()
           
 Term getTerm(int index)
           
 int getTermCount()
           
 java.util.List<Term> getTerms()
           
 

Method Detail

getFunctorId

FunctorId getFunctorId()

getFunctorName

java.lang.String getFunctorName()

getTerms

java.util.List<Term> getTerms()

getTermCount

int getTermCount()

getTerm

Term getTerm(int index)
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD