Exemplos de ProverFactory.createNextStroke em Java

Exemplo n.º 1

Arquivo: OccursCheckVisitorTest.java Projeto: pollow/czt

 public void testContains2() {
   Term ground = factory_.createNextStroke();
   assertFalse(occursCheck_.contains(ground, joker_));
 }