public class ProofContext extends Object
| 限定符和类型 | 类和说明 |
|---|---|
static class |
ProofContext.Builder |
| 构造器和说明 |
|---|
ProofContext() |
ProofContext(ProofContext.Builder builder) |
| 限定符和类型 | 方法和说明 |
|---|---|
String |
getContent() |
String |
getPrefix() |
String |
getSuffix() |
static ProofContext.Builder |
newBuilder() |
void |
setContent(String content) |
void |
setPrefix(String prefix) |
void |
setSuffix(String suffix) |
public ProofContext()
public ProofContext(ProofContext.Builder builder)
public static ProofContext.Builder newBuilder()
public String getPrefix()
public void setPrefix(String prefix)
public String getContent()
public void setContent(String content)
public String getSuffix()
public void setSuffix(String suffix)
Copyright © 2026. All rights reserved.