| _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 | |