org.kahina.logic.sat.io.free

Interface BooleanFormulaVisitor<T>