org.openqed.struct.formula
Class FormulaNodeVisitorArg<A>

java.lang.Object
  org.openqed.struct.formula.FormulaNodeVisitorArg<A>

public class FormulaNodeVisitorArg<A>
extends java.lang.Object

Constructor Summary

FormulaNodeVisitorArg()

Method Summary

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FormulaNodeVisitorArg

public FormulaNodeVisitorArg()