- i -

• Implication() : lala::pc::Implication< AD, Allocator >
• Inequality() : lala::pc::Inequality< AD, Allocator, neg >
• interpret() : lala::PC< A, Allocator > , lala::PIR< A, Allocator >
• interpret_ask() : lala::PC< A, Allocator > , lala::PIR< A, Allocator >
• interpret_tell() : lala::PC< A, Allocator > , lala::PIR< A, Allocator >
• interpreted_type() : lala::PC< A, Allocator >::interpreted_type< Alloc, SubType > , lala::PIR< A, Allocator >::interpreted_type< Alloc, SubType >
• is() : lala::pc::Formula< AD, Allocator > , lala::pc::Term< AD, Allocator >
• is_absorbing() : lala::pc::GroupAdd< Universe > , lala::pc::GroupMul< Universe, divsig >
• is_bot() : lala::PC< A, Allocator > , lala::PIR< A, Allocator >
• is_extractable() : lala::PC< A, Allocator > , lala::PIR< A, Allocator >
• is_top() : lala::PC< A, Allocator > , lala::PIR< A, Allocator >