CFTransfer.java

package org.checkerframework.framework.flow;

/**
 * The default transfer function used in the Checker Framework.
 *
 * @author Stefan Heule
 */
public class CFTransfer extends CFAbstractTransfer<CFValue, CFStore, CFTransfer> {

    public CFTransfer(CFAbstractAnalysis<CFValue, CFStore, CFTransfer> analysis) {
        super(analysis);
    }
}