push_rule


Description:

public void push_rule (Rule rule)