/* CrocottaAstVisitor -- Automatically generated by TreeBuilder (2024-10-27T16:48Z) */

package de.uni_freiburg.informatik.ultimate.crocotta.ast;

import java.util.List;
/**
 * 
 */
public class CrocottaAstVisitor {
    /**
     * The constructor taking initial values.
     */
    public CrocottaAstVisitor() {
        super();
    }

    /**
     * Returns a textual description of this object.
     */
    public String toString() {
        return "CrocottaAstVisitor";
    }

    public boolean visit(Intersection node) {
        return true;
    }

    public boolean visit(FinInfExpression node) {
        return true;
    }

    public boolean visit(Numeral node) {
        return true;
    }

    public boolean visit(Concatenation node) {
        return true;
    }

    public boolean visit(FixpointQuery node) {
        return true;
    }

    public boolean visit(InclusionQuery node) {
        return true;
    }

    public boolean visit(Query node) {
        return true;
    }

    public boolean visit(LanguageExpression node) {
        return true;
    }

    public boolean visit(Event node) {
        return true;
    }

    public boolean visit(Union node) {
        return true;
    }
}