Esempi in Java per DumbMathClssftnHandler.formImplies

Esempio n. 1

File: PSymbol.java Progetto: dtwelch/resolve-lite

 @NotNull
 public List<PExp> split(PExp assumptions) {
   List<PExp> result = new ArrayList<>();
   DumbMathClssftnHandler g = getMathClssftn().getTypeGraph();
   result.add(g.formImplies(assumptions, this));
   return result;
 }