src/simulator/scheduler-heap.cc
changeset 110 9ac6d63bfe33
parent 54 f860e6f94787
child 119 07ec9baf54a7
equal deleted inserted replaced
109:d05b3025f1c1 110:9ac6d63bfe33
     1 /* -*-    Mode:C++; c-basic-offset:4; tab-width:4; indent-tabs-mode:f -*- */
     1 /* -*-    Mode:C++; c-basic-offset:4; tab-width:4; indent-tabs-mode:nil -*- */
     2 /*
     2 /*
     3  * Copyright (c) 2006 INRIA
     3  * Copyright (c) 2006 INRIA
     4  * Copyright (c) 2005 Mathieu Lacage
     4  * Copyright (c) 2005 Mathieu Lacage
     5  * All rights reserved.
     5  * All rights reserved.
     6  *
     6  *