public Tristate predicateCacheEntry ( final CacheEntry key ) { final Tristate tristate = this . predicateCache . get ( key ) ; if ( tristate == null ) { return Tristate . UNDEF ; } return tristate ; }
Returns an entry of the predicate cache of this formula .