StructureEqualityInference()
: SSBase("equal", "Check whether two structures are equal.") {
setNameSpace(getStructureNamespaceName());
}
IsConsistentInference()
: StructureBase("isconsistent", "Check whether the structure is consistent.") {
setNameSpace(getStructureNamespaceName());
}
GetNbOfTwoValuedAtomsInStructure()
: StructureBase("nrtwovaluedatoms", "Retrieve the number of two-valued atoms in the given structure.") {
setNameSpace(getStructureNamespaceName());
}
CleanInference()
: StructureBase("clean",
"Combines fully specified three-valued relations into two-valued ones.\nModifies its argument and does not return anything.") {
setNameSpace(getStructureNamespaceName());
}
SetTableValueInference(const char* command, const char* description, SETVALUE value)
: SetTableValueInferenceBase(command, description, true), value_(value) {
setNameSpace(getStructureNamespaceName());
}
TwoValuedExtensionsOfTableInference()
: TwoValuedExtensionsOfTableInferenceBase("nbModelsTwoValuedExtensions", "Generate all two-valued extensions of all of the given structures.") {
setNameSpace(getStructureNamespaceName());
}
