/**
* Sole constructor.
*
* @param name the name of this predicate
* @param extFun the ExternalFunction to use to compute truth values
* @see PredicateFactory
*/
ExternalFunctionalPredicate(String name, ExternalFunction extFun) {
super(name, extFun.getArgumentTypes());
this.extFun = extFun;
}
