Exemplos de Unifier.unifies em Java

Exemplo n.º 1

Arquivo: PropositionImpl.java Projeto: chbrown13/ICSE-2012-DSOL

 public boolean unifies(Proposition proposition) {
   Unifier un = new UnifierImpl();
   return un.unifies(this, proposition);
 }