symbolic_variables.h

#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 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 P4Tools
 
#endif /* BACKENDS_P4TOOLS_COMMON_CONTROL_PLANE_SYMBOLIC_VARIABLES_H_ */