terms property

Iterable<BddTerm> terms

Implementation

Iterable<BddTerm> get terms => _bdd.textTerms;