public class InfFlowProofSymbols
extends java.lang.Object
Constructor and Description |
---|
InfFlowProofSymbols() |
Modifier and Type | Method and Description |
---|---|
void |
add(Named symb) |
void |
add(Term t) |
void |
addLabeled(Named symb) |
void |
addLabeled(Term t) |
void |
addLabeledTotalTerm(Term t) |
void |
addTotalTerm(Term t) |
boolean |
isFreshContract() |
java.lang.String |
printProofSymbols() |
static ProgramVariable |
searchPV(java.lang.String s,
Services services) |
InfFlowProofSymbols |
union(InfFlowProofSymbols symbols) |
InfFlowProofSymbols |
unionLabeled(InfFlowProofSymbols symbols) |
void |
useProofSymbols() |
public void useProofSymbols()
public boolean isFreshContract()
public static ProgramVariable searchPV(java.lang.String s, Services services)
public void add(Named symb)
public void addLabeled(Named symb)
public void add(Term t)
public void addLabeled(Term t)
public InfFlowProofSymbols union(InfFlowProofSymbols symbols)
public InfFlowProofSymbols unionLabeled(InfFlowProofSymbols symbols)
public void addTotalTerm(Term t)
public void addLabeledTotalTerm(Term t)
public java.lang.String printProofSymbols()
Copyright © 2003-2019 The KeY-Project.