Object Info

transformation is defined in /home/faculty/engelen/Ctadel/classes.pl:157
transformation --> object
transformation <-- fold
                   cnf
                   dnf
                   rnf
                   logic
                   rfac1
                   anf
                   mnf
                   lfac
                   rfac
                   afac
                   mfac
                   horner
                   full_expand
                   expand
                   factor
                   power
                   exp_exp
                   exp_fac
                   log_fac
                   linfac
                   lincom
                   linex
                   diff
                   chdiff
                   chint
                   nodiff
                   opdiff
------------------ Methods inherited from class object:
transformation can get_saved(_G23233, _G23234)
                   restore(_G23233)
                   freeze(_G23233, _G23234)
                   save(_G23233, _G23234)
                   get_properties(_G23233, _G23234)
                   get_superobjects(_G23233, _G23234)
                   get_subobjects(_G23233, _G23234)
                   get_parents(_G23233, _G23234)
                   get_children(_G23233, _G23234)
                   get_instances(_G23233, _G23234)
                   create(_G23233, _G23234, _G23235)
                   create(_G23233, _G23234)
                   get_dependencies(_G23233, _G23234)