.!= | Language.Souffle.Experimental |
.% | Language.Souffle.Experimental |
.< | Language.Souffle.Experimental |
.<= | Language.Souffle.Experimental |
.= | Language.Souffle.Experimental |
.> | Language.Souffle.Experimental |
.>= | Language.Souffle.Experimental |
.^ | Language.Souffle.Experimental |
addFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
addFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
addTuple | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
allocTuple | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
Automatic | Language.Souffle.Experimental |
band | Language.Souffle.Experimental |
Body | Language.Souffle.Experimental |
bor | Language.Souffle.Experimental |
Brie | Language.Souffle.Experimental |
BTree | Language.Souffle.Experimental |
bxor | Language.Souffle.Experimental |
cat | Language.Souffle.Experimental |
cfgDatalogDir | Language.Souffle.Interpreted |
cfgFactDir | Language.Souffle.Interpreted |
cfgOutputDir | Language.Souffle.Interpreted |
cfgSouffleBin | Language.Souffle.Interpreted |
CollectFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
Config | |
1 (Type/Class) | Language.Souffle.Interpreted |
2 (Data Constructor) | Language.Souffle.Interpreted |
contains | Language.Souffle.Experimental |
ContainsFact | Language.Souffle.Class |
ContainsInputFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
ContainsOutputFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
containsTuple | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
countFacts | Language.Souffle.Internal |
defaultConfig | Language.Souffle.Interpreted |
Definition | Language.Souffle.Experimental |
Direction | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled |
DSL | Language.Souffle.Experimental |
embedProgram | Language.Souffle.Experimental |
EqRel | Language.Souffle.Experimental |
Fact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
FactDirection | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
FactMetadata | Language.Souffle.Experimental |
factName | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
factOpts | Language.Souffle.Experimental |
findFact | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
Fragment | Language.Souffle.Experimental |
free | Language.Souffle.Internal.Bindings |
freeRelationIterator | Language.Souffle.Internal.Bindings |
freeTuple | Language.Souffle.Internal.Bindings |
getFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
getNumThreads | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
3 (Function) | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
getRelation | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
getRelationIterator | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
getTupleCount | Language.Souffle.Internal.Bindings |
Handle | |
1 (Type/Class) | Language.Souffle.Interpreted |
2 (Type/Class) | Language.Souffle.Compiled |
Handler | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
Head | Language.Souffle.Experimental |
init | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
Inline | Language.Souffle.Experimental |
InlineOpt | Language.Souffle.Experimental |
Input | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled |
InputOutput | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled |
Internal | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled |
land | Language.Souffle.Experimental |
loadAll | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
loadFiles | Language.Souffle.Class, Language.Souffle.Compiled |
lor | Language.Souffle.Experimental |
Marshal | Language.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
match | Language.Souffle.Experimental |
max' | Language.Souffle.Experimental |
Metadata | |
1 (Type/Class) | Language.Souffle.Experimental |
2 (Data Constructor) | Language.Souffle.Experimental |
min' | Language.Souffle.Experimental |
MonadPop | Language.Souffle.Marshal |
MonadPush | Language.Souffle.Marshal |
MonadSouffle | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
MonadSouffleFileIO | Language.Souffle.Class, Language.Souffle.Compiled |
NoInline | Language.Souffle.Experimental |
not' | Language.Souffle.Experimental |
NoVarsInAtom | Language.Souffle.Experimental |
ord | Language.Souffle.Experimental |
Output | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Experimental, Language.Souffle.Compiled |
pop | Language.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
popFloat | Language.Souffle.Marshal |
popInt32 | Language.Souffle.Marshal |
popString | Language.Souffle.Marshal |
popUInt32 | Language.Souffle.Marshal |
Predicate | |
1 (Type/Class) | Language.Souffle.Experimental |
2 (Data Constructor) | Language.Souffle.Experimental |
predicateFor | Language.Souffle.Experimental |
printAll | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
Program | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
ProgramFacts | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
programName | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
push | Language.Souffle.Marshal, Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
pushFloat | Language.Souffle.Marshal |
pushInt32 | Language.Souffle.Marshal |
pushString | Language.Souffle.Marshal |
pushUInt32 | Language.Souffle.Marshal |
Relation | |
1 (Type/Class) | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
2 (Data Constructor) | Language.Souffle.Experimental |
RelationIterator | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
relationIteratorNext | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
render | Language.Souffle.Experimental |
renderIO | Language.Souffle.Experimental |
run | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
3 (Function) | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
runSouffle | |
1 (Function) | Language.Souffle.Interpreted |
2 (Function) | Language.Souffle.Compiled |
runSouffleInterpreted | Language.Souffle.Experimental |
runSouffleInterpretedWith | Language.Souffle.Experimental |
runSouffleWith | Language.Souffle.Interpreted |
setNumThreads | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
3 (Function) | Language.Souffle.Class, Language.Souffle.Interpreted, Language.Souffle.Compiled |
SimpleProduct | Language.Souffle.Internal.Constraints |
Souffle | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
SouffleM | |
1 (Type/Class) | Language.Souffle.Interpreted |
2 (Type/Class) | Language.Souffle.Compiled |
souffleStdErr | Language.Souffle.Interpreted |
souffleStdOut | Language.Souffle.Interpreted |
strlen | Language.Souffle.Experimental |
Structure | Language.Souffle.Experimental |
StructureOpt | Language.Souffle.Experimental |
substr | Language.Souffle.Experimental |
SupportsArithmetic | Language.Souffle.Experimental |
Term | Language.Souffle.Experimental |
ToPredicate | Language.Souffle.Experimental |
to_number | Language.Souffle.Experimental |
to_string | Language.Souffle.Experimental |
Tuple | |
1 (Type/Class) | Language.Souffle.Internal.Bindings, Language.Souffle.Internal |
2 (Type/Class) | Language.Souffle.Experimental |
tuplePopFloat | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
tuplePopInt32 | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
tuplePopString | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
tuplePopUInt32 | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
tuplePushFloat | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
tuplePushInt32 | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
tuplePushString | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
tuplePushUInt32 | |
1 (Function) | Language.Souffle.Internal.Bindings |
2 (Function) | Language.Souffle.Internal |
underscore | Language.Souffle.Experimental |
UsageContext | Language.Souffle.Experimental |
var | Language.Souffle.Experimental |
VarName | Language.Souffle.Experimental |
writeFiles | Language.Souffle.Class, Language.Souffle.Compiled |
\/ | Language.Souffle.Experimental |
__ | Language.Souffle.Experimental |
|- | Language.Souffle.Experimental |