Classes
struct	CallableSummaryKey
	Cache key for one interprocedural callable-result summary query. More...
struct	CallableSummaryKeyInfo
struct	ConditionOpInterfaceInterfaceTraits
struct	ConditionOpInterfaceTrait
class	ContractEndOpGenericAdaptorBase
class	ContractOpGenericAdaptorBase
class	EnsureComputeOpGenericAdaptorBase
class	EnsureConstrainOpGenericAdaptorBase
class	ForbiddenInfluenceAnalyzer
	Interprocedural verifier-local analysis for forbidden precondition influence. More...
struct	IncludedContractFailure
	One included precondition that becomes illegal under a specific caller binding. More...
struct	IncludedContractSummary
	Summary of all included-contract precondition failures under a specific caller binding. More...
struct	IncludedContractSummaryKey
	Cache key for one interprocedural included-contract summary query. More...
struct	IncludedContractSummaryKeyInfo
class	IncludeOpGenericAdaptorBase
struct	PostconditionOpInterfaceInterfaceTraits
struct	PostconditionOpInterfaceTrait
struct	PreconditionOpInterfaceInterfaceTraits
struct	PreconditionOpInterfaceTrait
class	RequireComputeOpGenericAdaptorBase
class	RequireConstrainOpGenericAdaptorBase

Typedefs
using	Influence = ForbiddenPreconditionInfluence
using	InfluenceInfo = ForbiddenPreconditionInfluenceInfo

Typedef Documentation

◆ Influence