Searched refs:indent_push (Results 1 – 1 of 1) sorted by relevance
1867 indent_push(const char *s) in indent_push() function1879 indent_push(s); in indent_set()3727 indent_push(" E"); in mark_arrows()3753 indent_push(" E"); in mark_arrows()3779 indent_push(" E"); in effects_test()3867 indent_push(" R"); in requirements_test()4063 indent_push(" C"); in causes_test()4170 indent_push(" H"); in hypothesise()