variables.h

#ifndef BACKENDS_P4TOOLS_COMMON_LIB_VARIABLES_H_
#define BACKENDS_P4TOOLS_COMMON_LIB_VARIABLES_H_
 
#include "ir/ir.h"
#include "lib/cstring.h"
 
namespace P4Tools {
 
using ConstraintsVector = std::vector<const IR::Expression *>;
 
namespace ToolsVariables {
 
static const cstring VALID = "*valid";
 
const IR::StateVariable &getStateVariable(const IR::Type *type, cstring name);
 
const IR::SymbolicVariable *getSymbolicVariable(const IR::Type *type, cstring name);
 
const IR::TaintExpression *getTaintExpression(const IR::Type *type);
 
IR::StateVariable getHeaderValidity(const IR::Expression *headerRef);
 
IR::StateVariable convertReference(const IR::Expression *ref);
 
}  // namespace ToolsVariables
 
}  // namespace P4Tools
 
#endif /* BACKENDS_P4TOOLS_COMMON_LIB_VARIABLES_H_ */