de.rwth.i2.attestor.procedures

Interface PreconditionMatchingStrategy

All Known Implementing Classes:

InternalPreconditionMatchingStrategy

public interface PreconditionMatchingStrategy

Method Summary

Modifier and Type	Method and Description
ContractMatch	match(Contract contract, HeapConfiguration heapInScope)

Method Detail

match

ContractMatch match(Contract contract,
                    HeapConfiguration heapInScope)