Struct CreatedLiteral

Defined in File instantiation.h

Inheritance Relationships

Base Type

public Inst::Literal (Class Literal)

Struct Documentation

struct CreatedLiteral : public Inst::Literal 

Public Functions

inline CreatedLiteral(const VAL::proposition *p, VAL::FastEnvironment *e)

inline ~CreatedLiteral()