reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
74 State = addImplication(Antecedent, State, true); 75 State = addImplication(Antecedent, State, false);