|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ConstructedTerm | |
|---|---|
| org.omwg.logicalexpression.terms | |
| org.wsmo.factory | |
| Uses of ConstructedTerm in org.omwg.logicalexpression.terms |
|---|
| Subinterfaces of ConstructedTerm in org.omwg.logicalexpression.terms | |
|---|---|
interface |
BuiltInConstructedTerm
Built in contructed terms (symbols) represent such constructed terms that are defined as built-in. |
| Methods in org.omwg.logicalexpression.terms with parameters of type ConstructedTerm | |
|---|---|
void |
Visitor.visitConstructedTerm(ConstructedTerm t)
|
| Uses of ConstructedTerm in org.wsmo.factory |
|---|
| Methods in org.wsmo.factory that return ConstructedTerm | |
|---|---|
ConstructedTerm |
LogicalExpressionFactory.createConstructedTerm(IRI functionSymbol,
List<Term> terms)
creates a constructed term (e.g. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||