fullImplications property

DefaultMap<(Logic, bool), Set<(Logic, bool)>> fullImplications

Implementation

final fullImplications =
    DefaultMap<(Logic, bool), Set<(Logic, bool)>>(() => <(Logic, bool)>{});