de.rwth.i2.attestor.procedures

Interface ContractCollection

All Known Implementing Classes:

CounterexampleContractCollection, InternalContractCollection

public interface ContractCollection

Method Summary

Modifier and Type	Method and Description
void	addContract(Contract contract)
Collection<Contract>	getContractsForExport()
ContractMatch	matchContract(HeapConfiguration precondition)

Method Detail

addContract

void addContract(Contract contract)

matchContract

ContractMatch matchContract(HeapConfiguration precondition)

getContractsForExport

Collection<Contract> getContractsForExport()