instantiate_StaticByzantineQuorumSystem.cc Source File

00001 /*
00002  * Copyright 2003 Michael A. Marsh, Cornell University. All rights reserved.
00003  * This software is released under the modified BSD license.
00004  * See the file LICENSE in the top-level directory for details.
00005  */
00006 //
00007 // $Id: instantiate_StaticByzantineQuorumSystem.cc,v 1.3 2004/05/19 15:56:57 mmarsh Exp $
00008 //
00009 // $Log: instantiate_StaticByzantineQuorumSystem.cc,v $
00010 // Revision 1.3  2004/05/19 15:56:57  mmarsh
00011 // *** empty log message ***
00012 //
00013 // Revision 1.2  2003/11/04 22:17:23  mmarsh
00014 // General code cleanup.
00015 //
00016 //
00017 
00018 #include "StaticByzantineQuorumSystem.h"
00019 #include "Message.h"
00020 
00021 using namespace CODEX_Quorum;
00022 
00026 
00027 static StaticByzantineQuorumSystem<4,1> thing41(0);