Searched refs:premise_name (Results 1 – 1 of 1) sorted by relevance
799 bool TriggerImplication(bool premise, const char* premise_name, in TriggerImplication() argument807 change_flag, premise_name); in TriggerImplication()