예제 #1
0
	ChangeVocabularyInference()
			: ChangeVocabularyInferenceBase("setvocabulary", "Changes the vocabulary of a structure to the given one.") {
		setNameSpace(getVocabularyNamespaceName());
		//If some symbol occurs both in V and in the previous vocabulary of S, its interpretation in S is kept.
		//For all symbols that belong to V but not to the previous vocabulary of S,
		//the interpretation in S is initialized to the least precise interpretation.
	}
예제 #2
0
void CIMObjectPath::set(
    const String& host,
    const CIMNamespaceName& nameSpace,
    const CIMName& className,
    const Array<CIMKeyBinding>& keyBindings)
{
   setHost(host);
   setNameSpace(nameSpace);
   setClassName(className);
   setKeyBindings(keyBindings);
}
예제 #3
0
	StructureEqualityInference()
			: SSBase("equal", "Check whether two structures are equal.") {
		setNameSpace(getStructureNamespaceName());
	}
예제 #4
0
	IsConsistentInference()
			: StructureBase("isconsistent", "Check whether the structure is consistent.") {
		setNameSpace(getStructureNamespaceName());
	}
예제 #5
0
	GetNbOfTwoValuedAtomsInStructure()
				: StructureBase("nrtwovaluedatoms", "Retrieve the number of two-valued atoms in the given structure.") {
			setNameSpace(getStructureNamespaceName());
		}
예제 #6
0
파일: clean.hpp 프로젝트: KULeuven-KRR/IDP
	CleanInference()
			: StructureBase("clean",
					"Combines fully specified three-valued relations into two-valued ones.\nModifies its argument and does not return anything.") {
		setNameSpace(getStructureNamespaceName());
	}
예제 #7
0
	SetTableValueInference(const char* command, const char* description, SETVALUE value)
			: SetTableValueInferenceBase(command, description, true), value_(value) {
		setNameSpace(getStructureNamespaceName());
	}
예제 #8
0
	TwoValuedExtensionsOfTableInference()
			: TwoValuedExtensionsOfTableInferenceBase("nbModelsTwoValuedExtensions", "Generate all two-valued extensions of all of the given structures.") {
		setNameSpace(getStructureNamespaceName());
	}
예제 #9
0
파일: help.hpp 프로젝트: KULeuven-KRR/IDP
	HelpInference()
			: HelpInferenceBase("help", "Print information about the given namespace, when left blank, print information about the global namespace.", true) {
		setNameSpace(getInternalNamespaceName());
	}
예제 #10
0
파일: query.hpp 프로젝트: KULeuven-KRR/IDP
	QueryInference()
			: QueryInferenceBase("query", "Generate all solutions to the given query in the given structure.") {
		setNameSpace(getInferenceNamespaceName());
	}
예제 #11
0
	InitInferenceNoTime()
			: ProgressInferenceBase("initialise",
					"Initialise an LTC theory. Input: an LTC theory. Output: (depending on stdoptions.nbmodels) a number of models, and (arguments 2-5 respectively) the used bistate theory, initial theory, bistate vocabulary and initial vocabulary (for in case you want to modify the progression behaviour yourself)",
					false) {
		setNameSpace(getInternalNamespaceName());
	}
예제 #12
0
	ProgressInference()
			: ProgressInferenceBase("progress", "Progress an LTC theory", false) {
		setNameSpace(getInferenceNamespaceName());
	}
예제 #13
0
	ProverInvariantInference()
			: ProverInvariantInferenceBase("isinvariant",
					"Returns true if the second theory is (provable with the induction method) an invariant of the first LTC-theory ",
					false) {
		setNameSpace(getInferenceNamespaceName());
	}
예제 #14
0
	InvariantInference()
			: InvariantInferenceBase("isinvariant",
					"Returns true if the second theory is (provable with the induction method) an invariant of the first LTC-theory in the context of the given finite structure ",
					false) {
		setNameSpace(getInferenceNamespaceName());
	}