[−][src]Trait gf::ai::ipa::IpaTactic

pub trait IpaTactic<S: Bottom + Clone> {
    fn call(&mut self, state: &S) -> IpaCallAction<S>;
}

🟢 A tactic for interprocedural analysis.

There are some basic implementations in this module:

IpaBottom: every call produces ⊥;
IpaInline: every call is inlined;
IpaTop: every call produces ⊤.

Required methods

`fn call(&mut self, state: &S) -> IpaCallAction<S>`

Return action to perform on call.

Loading content...

Implementors

`impl<S: Bottom + Clone> IpaTactic<S> for IpaBottom<S>`[src]

`fn call(&mut self, _: &S) -> IpaCallAction<S>`[src]

`impl<S: Bottom + Clone> IpaTactic<S> for IpaInline<S>`[src]

`fn call(&mut self, _: &S) -> IpaCallAction<S>`[src]

`impl<S: Clone + Bottom + Top> IpaTactic<S> for IpaTop<S>`[src]

`fn call(&mut self, _: &S) -> IpaCallAction<S>`[src]

Loading content...