代码搜索:Models
找到约 5,847 项符合「Models」的源代码
代码结果 5,847
www.eeworm.com/read/149109/5703365
cc example2.cc
// Run for example as follows: cat | pparse | example2
#include
#include "stable.h"
int main ()
{
Stable stable;
int bad = stable.read (cin); // Read from standard input
if (
www.eeworm.com/read/149109/5703366
cc# #example.cc#
// Compute the stable models of the program
// a :- not b.
// b :- not a.
#include
#include "smodels.h"
#include "api.h"
#include "atomrule.h"
using namespace std;
int main ()
{
S
www.eeworm.com/read/149109/5703372
cc example.cc
// Compute the stable models of the program
// a :- not b.
// b :- not a.
#include
#include "smodels.h"
#include "api.h"
#include "atomrule.h"
using namespace std;
int main ()
{
S
www.eeworm.com/read/145794/5744484
java clusteridmatcher.java
/*
* LumaQQ - Java QQ Client
*
* Copyright (C) 2004 luma
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public
www.eeworm.com/read/145794/5744485
java strangermatcher.java
/*
* LumaQQ - Java QQ Client
*
* Copyright (C) 2004 luma
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public
www.eeworm.com/read/145794/5744488
java qqnumbermatcher.java
/*
* LumaQQ - Java QQ Client
*
* Copyright (C) 2004 luma
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public
www.eeworm.com/read/145794/5744490
java blacklistmatcher.java
/*
* LumaQQ - Java QQ Client
*
* Copyright (C) 2004 luma
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public
www.eeworm.com/read/145794/5744494
java friendlymatcher.java
/*
* LumaQQ - Java QQ Client
*
* Copyright (C) 2004 luma
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public
www.eeworm.com/read/145794/5744495
java mobilenumbermatcher.java
/*
* LumaQQ - Java QQ Client
*
* Copyright (C) 2004 luma
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public
www.eeworm.com/read/145794/5744497
java clustermatcher.java
/*
* LumaQQ - Java QQ Client
*
* Copyright (C) 2004 luma
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public