goes through the given sequent an collects all vars found
Parameters: seq - the Sequent to visit
visit
public void visit(Taclet taclet, boolean visitAddrules)(Code)
collects all variables in a Taclet
Parameters: taclet - the Taclet where the variables have to be collected to Parameters: visitAddRules - a boolean that contols if the addrule sections areto be ignored (iff false) or if the visitor descends into them (iff true)
Methods inherited from de.uka.ilkd.key.logic.Visitor