public interface ProvaBinaryOperator
| Modifier and Type | Method and Description |
|---|---|
boolean |
evaluate(ProvaKnowledgeBase kb,
java.util.List<ProvaLiteral> newLiterals,
ProvaObject o1,
ProvaComputable a2) |
boolean evaluate(ProvaKnowledgeBase kb, java.util.List<ProvaLiteral> newLiterals, ProvaObject o1, ProvaComputable a2)
Copyright © 2019. All Rights Reserved.