Return to integer_vectors_utilities.adb CVS log

Up to [local] / OpenXM_contrib / PHC / Ada / Root_Counts / Implift

Annotation of OpenXM_contrib/PHC/Ada/Root_Counts/Implift/integer_vectors_utilities.adb, Revision 1.1

1.1     ! maekawa     1: package body Integer_Vectors_Utilities is
        !             2:
        !             3:   function Pivot ( v : Vector ) return integer is
        !             4:   begin
        !             5:     for i in v'range loop
        !             6:       if v(i) /= 0
        !             7:        then return i;
        !             8:       end if;
        !             9:     end loop;
        !            10:     return (v'last + 1);
        !            11:   end Pivot;
        !            12:
        !            13:   function Pivot ( v : Link_to_Vector ) return integer is
        !            14:   begin
        !            15:     if v = null
        !            16:      then return 0;
        !            17:      else return Pivot(v.all);
        !            18:     end if;
        !            19:   end Pivot;
        !            20:
        !            21:   function Reduce ( v : Vector; i : integer ) return Vector is
        !            22:
        !            23:     res : Vector(v'first..(v'last-1));
        !            24:
        !            25:   begin
        !            26:     for j in res'range loop
        !            27:       if j < i
        !            28:        then res(j) := v(j);
        !            29:        else res(j) := v(j+1);
        !            30:       end if;
        !            31:     end loop;
        !            32:     return res;
        !            33:   end Reduce;
        !            34:
        !            35:   function Reduce ( v : Link_to_Vector; i : integer ) return Link_to_Vector is
        !            36:   begin
        !            37:     if v = null
        !            38:      then return v;
        !            39:      else declare
        !            40:             res : Link_to_Vector := new Vector'(Reduce(v.all,i));
        !            41:           begin
        !            42:             return res;
        !            43:           end;
        !            44:     end if;
        !            45:   end Reduce;
        !            46:
        !            47:   procedure Reduce ( v : in out Link_to_Vector; i : in integer ) is
        !            48:   begin
        !            49:     if v /= null
        !            50:      then declare
        !            51:             res : constant Vector := Reduce(v.all,i);
        !            52:           begin
        !            53:             Clear(v);
        !            54:             v := new Vector'(res);
        !            55:           end;
        !            56:     end if;
        !            57:   end Reduce;
        !            58:
        !            59:   function Insert ( v : Vector; i,a : integer ) return Vector is
        !            60:
        !            61:     res : Vector(v'first..(v'last+1));
        !            62:
        !            63:   begin
        !            64:     for j in res'first..(i-1) loop
        !            65:       res(j) := v(j);
        !            66:     end loop;
        !            67:     res(i) := a;
        !            68:     for j in (i+1)..res'last loop
        !            69:       res(j) := v(j-1);
        !            70:     end loop;
        !            71:     return res;
        !            72:   end Insert;
        !            73:
        !            74:   function Insert ( v : Link_to_Vector; i,a : integer )
        !            75:                   return Link_to_Vector is
        !            76:
        !            77:     res : Link_to_Vector;
        !            78:
        !            79:   begin
        !            80:     if v = null
        !            81:      then res := new Vector'(i..i => a);
        !            82:      else res := new Vector'(Insert(v.all,i,a));
        !            83:     end if;
        !            84:     return res;
        !            85:   end Insert;
        !            86:
        !            87:   procedure Insert ( v : in out Link_to_Vector; i,a : in integer ) is
        !            88:   begin
        !            89:     if v /= null
        !            90:      then declare
        !            91:             res : constant Vector := Insert(v.all,i,a);
        !            92:           begin
        !            93:             Clear(v);
        !            94:             v := new Vector'(res);
        !            95:           end;
        !            96:     end if;
        !            97:   end Insert;
        !            98:
        !            99:   function  Insert_and_Transform
        !           100:              ( v : Vector; i,a : integer; t : Transfo ) return Vector is
        !           101:
        !           102:     res : Vector(v'first..v'last+1) := Insert(v,i,a);
        !           103:
        !           104:   begin
        !           105:     Apply(t,res);
        !           106:     return res;
        !           107:   end Insert_and_Transform;
        !           108:
        !           109:   procedure Insert_and_Transform
        !           110:              ( v : in out Link_to_Vector; i,a : in integer; t : in Transfo ) is
        !           111:     res : Link_to_Vector;
        !           112:   begin
        !           113:     res := Insert_and_Transform(v,i,a,t);
        !           114:     Clear(v);
        !           115:     v := res;
        !           116:   end Insert_and_Transform;
        !           117:
        !           118:   function  Insert_and_Transform
        !           119:              ( v : Link_to_Vector; i,a : integer; t : Transfo )
        !           120:              return Link_to_Vector is
        !           121:
        !           122:     res : Link_to_Vector;
        !           123:
        !           124:   begin
        !           125:     if v = null
        !           126:      then res := Insert(v,i,a);
        !           127:           Apply(t,res.all);
        !           128:      else res := new Vector'(Insert_and_Transform(v.all,i,a,t));
        !           129:     end if;
        !           130:     return res;
        !           131:   end Insert_and_Transform;
        !           132:
        !           133: end Integer_Vectors_Utilities;