this.pushSize = numPushes;
    public LinearFilterVisitor(int numPeeks, int numPushes) {	this.peekSize = numPeeks;	this.expressionsToLinearForms = new HashMap();	this.peekOffset = 0;	this.pushOffset = 0;	this.representationMatrix = new FilterMatrix(numPeeks, numPushes);	this.representationVector = new FilterVector(numPeeks);	this.nonLinearFlag = false;	checkRep();    }