otawa::dfa::hai::FirstUnrollingFixPoint< Listener > Member List

This is the complete list of members for otawa::dfa::hai::FirstUnrollingFixPoint< Listener >, including all inherited members.

ai	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	protected
assign(Domain &a, const Domain &b) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
blockInterpreted(BasicBlock *bb, const Domain &in, const Domain &out, CFG *cur_cfg, elm::genstruct::Vector< Edge * > *callStack) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
bottom(void) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
Domain typedef	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >
enterContext(Domain &dom, BasicBlock *bb, hai_context_t ctx) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
entry(void) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
equals(const Domain &a, const Domain &b) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
FirstUnrollingFixPoint(Listener &_list)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
fixPoint(BasicBlock *bb, bool &fixpoint, Domain &in, bool firstTime) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >
fixPointReached(BasicBlock *bb) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
getIter(BasicBlock *bb) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
getMark(PropList *e)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
init(HalfAbsInt< FirstUnrollingFixPoint > *_ai)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
leaveContext(Domain &dom, BasicBlock *bb, hai_context_t ctx) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
list	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	protected
lub(Domain &a, const Domain &b) const	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
markEdge(PropList *e, const Domain &s)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
newState(void)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
prob	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	protected
Problem typedef	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >
STATE	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	protectedstatic
unmarkEdge(PropList *e)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
update(Domain &out, const Domain &in, BasicBlock *bb)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
updateEdge(Edge *edge, Domain &dom)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline
~FirstUnrollingFixPoint(void)	otawa::dfa::hai::FirstUnrollingFixPoint< Listener >	inline