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

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

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

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

    public LanguageExpression transform(Intersection node) {
        return node;
    }

    public LanguageExpression transform(FinInfExpression node) {
        return node;
    }

    public LanguageExpression transform(Numeral node) {
        return node;
    }

    public LanguageExpression transform(Concatenation node) {
        return node;
    }

    public Query transform(FixpointQuery node) {
        return node;
    }

    public Query transform(InclusionQuery node) {
        return node;
    }

    public Query transform(Query node) {
        return node;
    }

    public LanguageExpression transform(LanguageExpression node) {
        return node;
    }

    public LanguageExpression transform(Event node) {
        return node;
    }

    public LanguageExpression transform(Union node) {
        return node;
    }
}