symbolic_variables.h

/*
 * SPDX-FileCopyrightText: 2024 The P4 Language Consortium
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef BACKENDS_P4TOOLS_COMMON_CONTROL_PLANE_SYMBOLIC_VARIABLES_H_
#define BACKENDS_P4TOOLS_COMMON_CONTROL_PLANE_SYMBOLIC_VARIABLES_H_
 
#include "ir/ir.h"
#include "ir/irutils.h"
 
namespace P4::P4Tools {

namespace ControlPlaneState {

const IR::SymbolicVariable *getTableActive(cstring tableName);

const IR::SymbolicVariable *getTableKey(cstring tableName, cstring keyFieldName,
                                        const IR::Type *type);

const IR::SymbolicVariable *getTableTernaryMask(cstring tableName, cstring keyFieldName,
                                                const IR::Type *type);

const IR::SymbolicVariable *getTableMatchLpmPrefix(cstring tableName, cstring keyFieldName,
                                                   const IR::Type *type);

const IR::SymbolicVariable *getTableActionArgument(cstring tableName, cstring actionName,
                                                   cstring parameterName, const IR::Type *type);

const IR::SymbolicVariable *getTableActionChoice(cstring tableName);
 
}  // namespace ControlPlaneState
 
namespace Bmv2ControlPlaneState {

const IR::SymbolicVariable *getCloneActive();

const IR::SymbolicVariable *getCloneSessionId(const IR::Type *type);

std::pair<const IR::SymbolicVariable *, const IR::SymbolicVariable *> getTableRange(
    cstring tableName, cstring keyFieldName, const IR::Type *type);
 
}  // namespace Bmv2ControlPlaneState
 
}  // namespace P4::P4Tools
 
#endif /* BACKENDS_P4TOOLS_COMMON_CONTROL_PLANE_SYMBOLIC_VARIABLES_H_ */