qsorix

import Control.Monad.State
import Data.Lens.Common

type Disc = Int
type Tower = [Disc]
data Towers = Towers
            { towerA_ :: Tower
            , towerB_ :: Tower
            , towerC_ :: Tower
            } deriving (Show)

qsorix

import Control.Monad.State

type Disc = Int
type Tower = [Disc]
data Towers = Towers
            { towerA :: Tower
            , towerB :: Tower
            , towerC :: Tower
            } deriving (Show)

qsorix

import Control.Monad.State

type Disc = Int
type Tower = [Disc]
data Towers = Towers
            { towerA :: Tower
            , towerB :: Tower
            , towerC :: Tower
            } deriving (Show)

qsorix

type Disc = Int
type Tower = [Disc]
data Towers = Towers
            { towerA :: Tower
            , towerB :: Tower
            , towerC :: Tower
            } deriving (Show)

data TowerName = A | B | C
                 deriving (Show)

qsorix

\documentclass[00-praca-magisterska.tex]{subfiles}

\begin{document}

\chapter{Moduł Arete Master}

Prezentujemy tutaj szczegółowy opis modułu Master. Jest to moduł zarządzający
definicją i wykonywaniem testów. Jest on też interfejsem użytkownika do naszego
narzędzia -- za jego pomocą użytkownik wykonuje testy.

qsorix

#include <iostream>

namespace ns1 {
  template <typename T, typename U>
  int operator+(const T&, const U&) 
  {
    std::cout << "ns1::operator+" << std::endl;
    return 1;
  }

qsorix

#include <iostream>
#include <string>

template <typename T, typename T_Infix>
struct InfixProxy {
	T const & lhs_;
	T_Infix const & oper_;

	InfixProxy(T const & lhs, T_Infix const & oper)
		: lhs_(lhs), oper_(oper)

qsorix

    def read(self, model, network, mapping, schedule):
        # local variables for each configuration file
        ctx_model = {}
        ctx_network = {}
        ctx_mapping = {}
        ctx_schedule = {}

        # resources can be defined in any configuration part
        glob_resources = Resources.public_functions
        def setup_glob(module):

qsorix

TODO: reprezentacja krawędzi w model i network musi umożliwiać jednoznaczne
mapowanie portów. Jak nazwać krawędzie? Czy wprowadzić porty już w
konfiguracji model?

TODO: a jak w model przedstawić port, w sytuacji, kiedy trzeba na nim założyć
jakąś konfigurację (np. packet-loss).

#v+
model Foo
{

qsorix

def singleton(cls):
    instances = {}
    def getinstance():
        if cls not in instances:
            instances[cls] = cls()
        return instances[cls]
    return getinstance

@singleton
class MyClass: