push_rule


Description:

public abstract void push_rule (Rule rule)