void |
ForallDescr.accept(DescrVisitor visitor) |
void |
NotDescr.accept(DescrVisitor visitor) |
void |
FromDescr.accept(DescrVisitor visitor) |
void |
BaseDescr.accept(DescrVisitor visitor) |
void |
EvalDescr.accept(DescrVisitor visitor) |
void |
ConditionalBranchDescr.accept(DescrVisitor visitor) |
void |
NamedConsequenceDescr.accept(DescrVisitor visitor) |
void |
AccumulateDescr.accept(DescrVisitor visitor) |
void |
AndDescr.accept(DescrVisitor visitor) |
void |
ExistsDescr.accept(DescrVisitor visitor) |
void |
PatternDescr.accept(DescrVisitor visitor) |
void |
OrDescr.accept(DescrVisitor visitor) |