public static final class SmtProofEntry.Builder
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
SmtProofEntry |
build() |
SmtProofEntry.Builder |
setMask(byte mask) |
SmtProofEntry.Builder |
setProof(SmtProof proof) |
public SmtProofEntry.Builder setMask(@Nonnull byte mask)
public SmtProofEntry.Builder setProof(@Nonnull SmtProof proof)
public SmtProofEntry build()