int main()
{
MyDB db;
Unsafe unsafe(&db);
Exclusive excl(&unsafe);
Pool pool(&excl);
auto mngr = std::unique_ptr<Proxy>(new Proxy(&pool));
(*mngr)->exec();
return 0;
}
int main ()
{
/*START_OF_MAIN*/
int x,y;
/*END_OF_VARIABLES*/
/* Oluşturdugum fonksiyonları burada cagırdım */
conj(x,y);
disj(x,y);
not(x);
mate(x,y);
excl(x,y);
return 0;
}
osg::Vec3dArray*
ModelLayer::getOrCreateMaskBoundary(float heightScale,
const SpatialReference* srs,
ProgressCallback* progress )
{
if ( _maskSource.valid() && !_maskBoundary.valid() )
{
Threading::ScopedMutexLock excl(_mutex);
if ( !_maskBoundary.valid() ) // double-check pattern
{
// make the geometry:
_maskBoundary = _maskSource->createBoundary( srs, progress );
// scale to the height scale factor:
for (osg::Vec3dArray::iterator vIt = _maskBoundary->begin(); vIt != _maskBoundary->end(); ++vIt)
vIt->z() = vIt->z() * heightScale;
}
}
return _maskBoundary.get();
}
int main()
{
int part;
int t1,t2;
printf(" MENU OF BOOLEAN ALGEBRA \n");
printf("1.Conjunction\n2.Disjunction\n3.Negation\n");
printf("4.Material Implication\n5.Exclusive Or\n");
printf("6.Test the calculator with Monotone Laws\n7.Exit\n");
printf("Selection Time!\nEnter a part: ");
scanf("%d",&part);
switch(part)
{
case 1:
printf("CONJUNCTION\n");
printf("\tYou can test true of conjunction law.\nLet's start test!!!");
printf("Enter two value (1 or 0) for test: ");
scanf("%d %d",&t1,&t2);
printf("%d and %d = %d\n",t1,t2,conj(t1,t2));
printf(" <<<<<>>>>>\n ");
break;
case 2:
printf("DISJUNCTION\n");
printf("\tYou can test true of dijunction law.\nLet's start test!!!");
printf("Enter two value (1 or 0) for test: ");
scanf("%d %d",&t1,&t2);
printf("%d or %d = %d\n",t1,t2,disj(t1,t2));
printf(" <<<<<<>>>>>\n ");
break;
case 3:
printf("NEGATION\n");
printf("\tYou can test true of negation law.\nLet's start test!!!");
printf("Enter a value (1 or 0) for test: ");
scanf("%d",&t1);
printf("'(%d) = %d\n",t1,not(t1,t2));
printf(" <<<<<<>>>>>>\n ");
break;
case 4:
printf("MATERİAL IMPLICATION\n");
printf("\tYou can test true of material law.\nLet's start test!!!");
printf("Enter two value (1 or 0) for test: ");
scanf("%d %d",&t1,&t2);
printf("%d mate %d = %d\n",t1,t2,mate(t1,t2));
printf(" <<<<<<>>>>>\n ");
break;
case 5:
printf("5.EXCLUSIVE OR\n");
printf("\tYou can test true of exclusive law.\nLet's start test!!!");
printf("Enter two value (1 or 0) for test: ");
scanf("%d %d",&t1,&t2);
printf("%d excl %d = %d\n",t1,t2,excl(t1,t2) );
printf(" <<<<<<>>>>>\n ");
break;
case 6:
printf("Test the calculator with Monotone Laws\n");
printf("Enter the 'results.txt' for Monotone Laws\n");
testMonotone();
break;
case 7:
printf("7.EXIT\n");
printf(" <<<<<<THE END OF MENU>>>>>>\n ");
break;
default:
printf("NOT IN MENU\n");
break;
}
return 0;
}
