void |
ReversedDepthFirstAdapter.caseAConditionalTerm(AConditionalTerm node) |
void |
AnalysisAdapter.caseAConditionalTerm(AConditionalTerm node) |
void |
DepthFirstAdapter.caseAConditionalTerm(AConditionalTerm node) |
void |
Analysis.caseAConditionalTerm(AConditionalTerm node) |
void |
ReversedDepthFirstAdapter.inAConditionalTerm(AConditionalTerm node) |
void |
DepthFirstAdapter.inAConditionalTerm(AConditionalTerm node) |
void |
ReversedDepthFirstAdapter.outAConditionalTerm(AConditionalTerm node) |
void |
DepthFirstAdapter.outAConditionalTerm(AConditionalTerm node) |