framet::implicationt Struct Reference

#include <solver_types.h>

Collaboration diagram for framet::implicationt:

Public Member Functions
	implicationt (exprt __lhs, function_application_exprt __rhs)
implies_exprt	as_expr () const

Public Attributes
exprt	lhs
function_application_exprt	rhs

Detailed Description

Definition at line 68 of file solver_types.h.

Constructor & Destructor Documentation

implicationt()

framet::implicationt::implicationt ( exprt  __lhs, function_application_exprt  __rhs  )

inline

Definition at line 70 of file solver_types.h.

Member Function Documentation

as_expr()

implies_exprt framet::implicationt::as_expr ( ) const

inline

Definition at line 77 of file solver_types.h.

Member Data Documentation

lhs

exprt framet::implicationt::lhs

Definition at line 74 of file solver_types.h.

rhs

function_application_exprt framet::implicationt::rhs

Definition at line 75 of file solver_types.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cprover/solver_types.h