CBMC
Public Types | Public Attributes | Static Public Attributes | List of all members
configt::javat Struct Reference

#include <config.h>

+ Collaboration diagram for configt::javat:

Public Types

typedef std::list< std::string > classpatht
 

Public Attributes

classpatht classpath
 
irep_idt main_class
 

Static Public Attributes

static const std::size_t default_object_bits = 16
 

Detailed Description

Definition at line 339 of file config.h.

Member Typedef Documentation

◆ classpatht

typedef std::list<std::string> configt::javat::classpatht

Definition at line 341 of file config.h.

Member Data Documentation

◆ classpath

classpatht configt::javat::classpath

Definition at line 342 of file config.h.

◆ default_object_bits

const std::size_t configt::javat::default_object_bits = 16
static

Definition at line 345 of file config.h.

◆ main_class

irep_idt configt::javat::main_class

Definition at line 343 of file config.h.

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