void showRectangle(Rectangle r) {
		std::cout << "Rectangle(" << r.getWidth() << "," << r.getHeight() << ")" << std::endl;
	}

	void showSquare(Square s) {
		std::cout << "Square(" << s.getWidth() << ")" << std::endl;
	}
}

                таблица названий аксиом


            setWidth    setHeight  .  Rectangle
getWidth    gw_sw       gw_sh      .  gw_r
getHeight   gh_sw       gh_sh      .  gh_r
....................................         
getSpace    gs_sw       gs_sh         gs_r
                                    

            setWidth    setHeight  .  Rectangle
getWidth    gw_sw       gw_sh      .  gw_r
getHeight   gh_sw       gh_sh      .  gh_r
....................................         
getSpace                        

scheme Rectangle =  class
    type                        
      Figure
     ,UReal  =  {| r: Real :- r >  0 . 0  |}  
    value
      setWidth  : Figure >< UReal -> Figure   
     ,setHeight : Figure >< UReal -> Figure   
     ,getWidth  : Figure          -> UReal      
     ,getHeight : Figure          -> UReal      
    axiom
      [gw_sw]          
        all w: UReal, f: Figure:- getWidth(setWidth(f, w)) = w
     ,[gw_sh]
        all h: UReal, f: Figure:- getWidth(setHeight(f, h)) = getWidth(f)
     ,[gh_sh]          
        all h: UReal, f: Figure:- getHeight(setHeight(f, h)) = h
     ,[gh_sw]
        all w: UReal, f: Figure:- getHeight(setWidth(f, w)) = getHeight(f)
  end

/*
                таблица названий аксиом


            setWidth    setHeight  .  Rectangle
getWidth    gw_sw       gw_sh      .  gw_r
getHeight   gh_sw       gh_sh      .  gh_r
....................................         
getSpace                        

*/

Rectangle

scheme ZBRectangle = extend  Rectangle with class
    value
      getSpace  : Figure          -> UReal  
     ,Rectangle : UReal >< UReal  -> Figure

    axiom
      [gw_r ]
        all w:UReal, h:UReal :-  getWidth(Rectangle(w,h)) = w
     ,[gh_r ]
        all w:UReal, h:UReal :-  getHeight(Rectangle(w,h)) = h
     ,[gspace ]          
        all f:Figure         :-  getSpace(f) = getHeight(f)*getWidth(f)

  end

ZBRectangle

scheme ZBSquare =  extend  ZBRectangle with class
    value
      Square    : UReal           -> Figure   
     ,setSide   : Figure >< UReal -> Figure   
    axiom
      [square]          
        all side: UReal             :- Square(side)           = Rectangle(side, side)
     ,[setSide]
        all newSide: UReal, f:Figure:- setSide(f, newSide) = Square(newSide)
  end

Rectangle * f (Rectangle * r)
{
   r->setWidth( 32 );
   return r;
}

schema ZBSUsage  = class
 value
    f : Figure -> Figure   
    f( f)             is setWidth(r, 32 )

   ,isSquare : Figure -> Bool
/*  isSquare ((w,h))       is  if w           = h               then true else false end */

    isSquare (f)          is  if getWidth(f) = getHeight(f)  then true else false end


   ,squareAfterF: Figure -> Bool
    squareAfterF (fi)               is  isSquare(f(fi))

end

/*
         newRebenok : X-> Rebenok;
         rebenokMetod: Rebenok >< Z -> Rebenok;
         roditelMetod : Roditel >< Y -> Roditel;
 
*/
   rebenokMetod(roditelMetod(newRebenok(x),y), z);

void LSPV(Rectangle& r){
  r.SetWidth( 5 );
  r.SetHeight( 4 );
  assert(r.GetWidth() * r.GetHeight()) ==  20 );
}

  ,[gw_sh]
   all h: UReal, f: Figure:-
            GetWidth(SetHeight(f, h)) = GetWidth(f)

  ,[gw_sh]
   all h: UReal, f: Figure:- GetWidth(SetHeight(f, h)) = h
 

   all h: UReal, f: Figure:-
            h =   GetWidth(SetHeight(f, h))   /\ 
                   GetWidth(SetHeight(f, h)) = GetWidth(f)

   all h: UReal, f: Figure :-  h  = GetWidth(f)

      h =   GetWidth(f) = GetWidth(SetWidth(f1, w)) = w 

scheme RealDad =  class
    type                        
      Figure
     ,UReal  =  {| r: Real :- r >  0 . 0  |}  
    value
      SetWidth  : Figure >< UReal -> Figure   
     ,SetHeight : Figure >< UReal -> Figure   
     ,GetWidth  : Figure          -> UReal      
     ,GetHeight : Figure          -> UReal      
    axiom
      [gw_sw]          
        all w: UReal, f: Figure:- GetWidth(SetWidth(f, w)) = w
     ,[gh_sh]          
        all h: UReal, f: Figure:- GetHeight(SetHeight(f, h)) = h
  end

void LSPV(Rectangle& r){
  r.SetWidth( 5 );
  r.SetHeight( 4 );
  assert(r.GetWidth() * r.GetHeight()) ==  20 );
}

void LSPV(Square& r){
  r.SetWidth( 5 );
}

void LSPV(Square& r){
  r.SetWidth( 5 );
}

void LSPV(Square& r){
  r.SetWidth( 5 );
  r.SetHeight( 4 );
  assert(r.GetWidth() * r.GetHeight()) ==  16 );
}