_implementation | VampireKernel | [private] |
AbortedOnAllocationFailure enum value | VampireKernel | |
AbortedOnError enum value | VampireKernel | |
AbortedOnErrorSignal enum value | VampireKernel | |
AbortedOnExternalInterrupt enum value | VampireKernel | |
beginInputClause(ulong clauseNumber, void *origin, bool goal, bool support) | VampireKernel | |
beginInputClauses() | VampireKernel | |
beginInputSignature() | VampireKernel | |
beginLiteral(bool positive, ulong predicateId) | VampireKernel | |
closeSession() | VampireKernel | |
currentSession() | VampireKernel | [static] |
destroy() | VampireKernel | |
EmptyPassive enum value | VampireKernel | |
endInputClause() | VampireKernel | |
endInputClauses() | VampireKernel | |
endInputSignature() | VampireKernel | |
endLiteral() | VampireKernel | |
interpretFunction(const char *inputSymbol, ulong arity, const char *theory, const char *nativeSymbol) | VampireKernel | |
interpretPredicate(const char *inputSymbol, ulong arity, const char *theory, const char *nativeSymbol) | VampireKernel | |
isAnswerPredicateId(ulong symbolId) const | VampireKernel | |
isInputSymbol(ulong symbolId) const | VampireKernel | |
isNumericConstantId(ulong symbolId) const | VampireKernel | |
lookForAnotherAnswer() | VampireKernel | |
MaxActive enum value | VampireKernel | |
MaxPassive enum value | VampireKernel | |
numericConstantValue(ulong symbolId) const | VampireKernel | |
openSession(const Options &opt) | VampireKernel | |
receiveFunction(ulong symId) | VampireKernel | |
receiveNumericConstant(double value) | VampireKernel | |
receiveVariable(ulong varNum) | VampireKernel | |
refutation() const | VampireKernel | |
RefutationFound enum value | VampireKernel | |
registerInputFunction(const char *name, ulong arity, ulong &id) | VampireKernel | |
registerInputPredicate(const char *name, ulong arity, bool isAnswer, ulong &id) | VampireKernel | |
reportError() | VampireKernel | |
reportErrorSignal(int signalNumber) | VampireKernel | |
reportInterrupt(int signalNumber) | VampireKernel | |
resume() | VampireKernel | |
Satisfiable enum value | VampireKernel | |
saturate(ulong nextVacantClauseId, long timeLimit) | VampireKernel | |
setSymbolPrecedence(ulong symId, long prec) | VampireKernel | |
setSymbolWeightConstPart(ulong symId, const TermWeightType &weight) | VampireKernel | |
statAverageNumOfSplitComponentsPerCl() const | VampireKernel | |
statMemory() const | VampireKernel | |
statNumOfBackSubsumedCl() const | VampireKernel | |
statNumOfClRecycledDueToLackOfResources() const | VampireKernel | |
statNumOfClSimplifiedByBackDemod() const | VampireKernel | |
statNumOfClSimplifiedByBackDemodOnSplitBranches() const | VampireKernel | |
statNumOfClSimplifiedByBuiltInTheories() const | VampireKernel | |
statNumOfClSimplifiedByEqualityResol() const | VampireKernel | |
statNumOfClSimplifiedByForwDemod() const | VampireKernel | |
statNumOfClSimplifiedByForwDemodOnSplitBranches() const | VampireKernel | |
statNumOfClSimplifiedByForwSubsResol() const | VampireKernel | |
statNumOfCurrentlyActiveCl() const | VampireKernel | |
statNumOfCurrentlyPassiveCl() const | VampireKernel | |
statNumOfDifferentSplitComponents() const | VampireKernel | |
statNumOfDiscardedClWithTooBigLiterals() const | VampireKernel | |
statNumOfDiscardedClWithTooManyVariables() const | VampireKernel | |
statNumOfDiscardedEquationalTautologies() const | VampireKernel | |
statNumOfDiscardedPropositionalTautologies() const | VampireKernel | |
statNumOfDiscardedTooBigCl() const | VampireKernel | |
statNumOfDiscardedTooDeepCl() const | VampireKernel | |
statNumOfForwSubsumedCl() const | VampireKernel | |
statNumOfGeneratedCl() const | VampireKernel | |
statNumOfMurederedActiveOrphans() const | VampireKernel | |
statNumOfMurederedPassiveOrphans() const | VampireKernel | |
statNumOfNewClDiscardedDueToLackOfMemory() const | VampireKernel | |
statNumOfRetainedCl() const | VampireKernel | |
statNumOfSelectedCl() const | VampireKernel | |
statNumOfSplitCl() const | VampireKernel | |
statTime() const | VampireKernel | |
suspend() | VampireKernel | |
symbolArity(ulong symbolId) const | VampireKernel | |
symbolPrintName(ulong symbolId) const | VampireKernel | |
tabulate() | VampireKernel | |
TerminationReason enum name | VampireKernel | |
terminationReason() const | VampireKernel | |
TermWeightType typedef | VampireKernel | |
TimeLimitExpired enum value | VampireKernel | |
UnknownTerminationReason enum value | VampireKernel | |
VampireKernel() | VampireKernel | |
versionDescription() | VampireKernel | [static] |
versionNumber() | VampireKernel | [static] |
~VampireKernel() | VampireKernel | |