CBMC
Public Member Functions | Public Attributes | List of all members
cpp_typecheck_resolvet::matcht Struct Reference

#include <cpp_typecheck_resolve.h>

+ Collaboration diagram for cpp_typecheck_resolvet::matcht:

Public Member Functions

 matcht (cpp_template_args_tct _s_args, cpp_template_args_tct _f_args, irep_idt _id)
 
bool operator< (const matcht &other) const
 

Public Attributes

std::size_t cost
 
cpp_template_args_tct specialization_args
 
cpp_template_args_tct full_args
 
irep_idt id
 

Detailed Description

Definition at line 144 of file cpp_typecheck_resolve.h.

Constructor & Destructor Documentation

◆ matcht()

cpp_typecheck_resolvet::matcht::matcht ( cpp_template_args_tct  _s_args,
cpp_template_args_tct  _f_args,
irep_idt  _id 
)
inline

Definition at line 150 of file cpp_typecheck_resolve.h.

Member Function Documentation

◆ operator<()

bool cpp_typecheck_resolvet::matcht::operator< ( const matcht &  other) const
inline

Definition at line 161 of file cpp_typecheck_resolve.h.

Member Data Documentation

◆ cost

std::size_t cpp_typecheck_resolvet::matcht::cost

Definition at line 146 of file cpp_typecheck_resolve.h.

◆ full_args

cpp_template_args_tct cpp_typecheck_resolvet::matcht::full_args

Definition at line 148 of file cpp_typecheck_resolve.h.

◆ id

irep_idt cpp_typecheck_resolvet::matcht::id

Definition at line 149 of file cpp_typecheck_resolve.h.

◆ specialization_args

cpp_template_args_tct cpp_typecheck_resolvet::matcht::specialization_args

Definition at line 147 of file cpp_typecheck_resolve.h.

The documentation for this struct was generated from the following file: