public class TptpFofFunctionalTerm extends TptpFofStringTerm
namesort, value| Constructor and Description |
|---|
TptpFofFunctionalTerm() |
TptpFofFunctionalTerm(String name)
Standard Constructor with given value
|
TptpFofFunctionalTerm(TptpFofFunctor functor,
List<TptpFofTerm<?>> arguments) |
| Modifier and Type | Method and Description |
|---|---|
String |
get() |
void |
set(String value) |
getName, getSort, toStringpublic TptpFofFunctionalTerm()
public TptpFofFunctionalTerm(String name)
value - public TptpFofFunctionalTerm(TptpFofFunctor functor, List<TptpFofTerm<?>> arguments)
public void set(String value)
set in class TptpFofStringTermpublic String get()
get in class TptpFofTerm<String>Copyright © 2016. All rights reserved.