def __init__(self, trusted_basis): '''Initializes the IntegrityManager with a trusted basis. ''' self.trusted_basis = trusted_basis self.proofmanager = ProofManager(False) self.logger = logging.getLogger("FR." + self.__class__.__name__)