逻辑引擎

————————————————————————
Quick

格式：[latex]LaTeX expression[/latex]
或者：[tex]LaTeX expression[/tex]

例子：

行内公式：，生成本公式的文本：[cci][/cci]

独立公式：

，生成本公式的文本：[cci]

[/cci]

，生成本公式的文本：
[cci]

[/cci]
————————————————————————
CodeColorer
行内代码：[cci_cpp]template class SomeClass { T value; };[/cci_cpp]，生成本行内代码的文本[cci][cci_cpp]template class SomeClass { T value; };[/cci_cpp][/cci]或[cci][cci_java]template class SomeClass { T value; };[/cci_java][/cci]
独立代码：
[cc_java]
function Halt(string program, string data) {
if (/*…Code to check if program(data) can halt…*/) {
return true;
} else {
return false;
}
}

string Halter = “function Halter(string) { alert(\”finished\”); }”;
string Looper = “function Looper(string) { while(true){} }”;

Halt(Halter, “anything”); // return true
Halt(Looper, “anything”); // return false

string Contradiction = “\
function Contradiction(string program) {\
if (Halt(program, program) == true) {\
while(true){}\
} else {\
alert(\”finished\”);\
}\
}\
”

Halt(Contradiction, Contradiction); //return ??
[/cc_java]
生成独立代码的文本[cci][cc_cpp]some code…[/cc_cpp][/cci]或[cci][cc_java]some code…[/cc_java][/cci]。
支持多种语言的高亮显示。