Package com.tonic.analysis.source.recovery.rcs

Class BoolFormula

java.lang.Object

com.tonic.analysis.source.recovery.rcs.BoolFormula

public final class BoolFormula
extends Object

A reaching-condition boolean formula carried as two representations kept in sync by BoolFormulaFactory.

Method Summary

Methods inherited from class java.lang.Object

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