Exemplos de Atom.toString em Java

Exemplo n.º 1

Arquivo: MonitorQuantifier.java Projeto: kimlavoie/BeepDroid

 @Override
 public void setValue(Atom a, Atom v) {
   m_phi.setValue(a, v);
   m_variableResolver.put(a.toString(), v.toString());
 }