C# 클래스 Microsoft.Z3.BitVecExpr

Bit-vector expressions
상속: Expr
파일 보기 프로젝트 열기: sslab-gatech/juxta 1 사용 예제들

보호된 메소드들

메소드 설명
BitVecExpr ( Context ctx ) : System

Constructor for BitVecExpr

비공개 메소드들

메소드 설명
BitVecExpr ( Context ctx, IntPtr obj ) : System

메소드 상세

BitVecExpr() 보호된 메소드

Constructor for BitVecExpr
protected BitVecExpr ( Context ctx ) : System
ctx Context
리턴 System