Lines Matching refs:bam_true_ad
542 validate = at->bam_true_ad->ad_type->sat_syntax->ssyn_validate;
543 pretty = at->bam_true_ad->ad_type->sat_syntax->ssyn_pretty;
551 if ( at->bam_true_ad->ad_type->sat_equality ) {
552 normfunc = at->bam_true_ad->ad_type->sat_equality->smr_normalize;
609 attr = attr_find( bsi->bsi_e->e_attrs, at->bam_true_ad );
641 attr = attr_alloc( at->bam_true_ad );
779 retval = pretty( at->bam_true_ad->ad_type->sat_syntax,
784 retval = validate( at->bam_true_ad->ad_type->sat_syntax,
810 at->bam_true_ad, &bv,
818 at->bam_true_ad->ad_type->sat_syntax,
819 at->bam_true_ad->ad_type->sat_equality,