Uses of Class
eu.bandm.sig.absy.FVar

Packages that use FVar
eu.bandm.sig.absy created on 2012-06-22_17h11m15
by program umod, version 0.17
command line =
umod --getterfunctions true --setterfunctions true --monolithic false --swingtree true -x 0 /home/lepper/sig//src eu.bandm.sig.absy sig2.umod  
 

Uses of FVar in eu.bandm.sig.absy
 

Fields in eu.bandm.sig.absy with type parameters of type FVar
protected  CheckedMap_RD<Label,FVar> FProduct.elems
           
static Function<FProduct,CheckedMap_RD<Label,FVar>> FProduct.get_elems
           
static Function<FVar,Variable> FVar.get_var
           
 

Methods in eu.bandm.sig.absy that return FVar
 FVar FVar.doclone()
           
 FVar FVar.initFrom(Object o0)
           
 

Methods in eu.bandm.sig.absy that return types with arguments of type FVar
 CheckedMap_RD<Label,FVar> FProduct.get_elems()
           
 

Methods in eu.bandm.sig.absy with parameters of type FVar
 void FProduct.put_elems(Label key0, FVar value)
           
 

Method parameters in eu.bandm.sig.absy with type arguments of type FVar
 void FProduct.set_elems(CheckedMap_RD<Label,FVar> val)