public ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs) { super(cfg, new ReverseDFSComparator(rdfs));
public ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs, DepthFirstSearch dfs) { super(cfg, new ReverseDFSComparator(rdfs, dfs)); this.rdfs = rdfs; this.dfs = dfs;
	public ReverseDFSOrder(CFG cfg, ReverseDepthFirstSearch rdfs) {		super(cfg, new ReverseDFSComparator(rdfs));	}