Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

VampireKernel Member List

This is the complete list of members for VampireKernel, including all inherited members.
_implementationVampireKernel [private]
AbortedOnAllocationFailure enum valueVampireKernel
AbortedOnError enum valueVampireKernel
AbortedOnErrorSignal enum valueVampireKernel
AbortedOnExternalInterrupt enum valueVampireKernel
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 valueVampireKernel
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) constVampireKernel
isInputSymbol(ulong symbolId) constVampireKernel
isNumericConstantId(ulong symbolId) constVampireKernel
lookForAnotherAnswer()VampireKernel
MaxActive enum valueVampireKernel
MaxPassive enum valueVampireKernel
numericConstantValue(ulong symbolId) constVampireKernel
openSession(const Options &opt)VampireKernel
receiveFunction(ulong symId)VampireKernel
receiveNumericConstant(double value)VampireKernel
receiveVariable(ulong varNum)VampireKernel
refutation() constVampireKernel
RefutationFound enum valueVampireKernel
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 valueVampireKernel
saturate(ulong nextVacantClauseId, long timeLimit)VampireKernel
setSymbolPrecedence(ulong symId, long prec)VampireKernel
setSymbolWeightConstPart(ulong symId, const TermWeightType &weight)VampireKernel
statAverageNumOfSplitComponentsPerCl() constVampireKernel
statMemory() constVampireKernel
statNumOfBackSubsumedCl() constVampireKernel
statNumOfClRecycledDueToLackOfResources() constVampireKernel
statNumOfClSimplifiedByBackDemod() constVampireKernel
statNumOfClSimplifiedByBackDemodOnSplitBranches() constVampireKernel
statNumOfClSimplifiedByBuiltInTheories() constVampireKernel
statNumOfClSimplifiedByEqualityResol() constVampireKernel
statNumOfClSimplifiedByForwDemod() constVampireKernel
statNumOfClSimplifiedByForwDemodOnSplitBranches() constVampireKernel
statNumOfClSimplifiedByForwSubsResol() constVampireKernel
statNumOfCurrentlyActiveCl() constVampireKernel
statNumOfCurrentlyPassiveCl() constVampireKernel
statNumOfDifferentSplitComponents() constVampireKernel
statNumOfDiscardedClWithTooBigLiterals() constVampireKernel
statNumOfDiscardedClWithTooManyVariables() constVampireKernel
statNumOfDiscardedEquationalTautologies() constVampireKernel
statNumOfDiscardedPropositionalTautologies() constVampireKernel
statNumOfDiscardedTooBigCl() constVampireKernel
statNumOfDiscardedTooDeepCl() constVampireKernel
statNumOfForwSubsumedCl() constVampireKernel
statNumOfGeneratedCl() constVampireKernel
statNumOfMurederedActiveOrphans() constVampireKernel
statNumOfMurederedPassiveOrphans() constVampireKernel
statNumOfNewClDiscardedDueToLackOfMemory() constVampireKernel
statNumOfRetainedCl() constVampireKernel
statNumOfSelectedCl() constVampireKernel
statNumOfSplitCl() constVampireKernel
statTime() constVampireKernel
suspend()VampireKernel
symbolArity(ulong symbolId) constVampireKernel
symbolPrintName(ulong symbolId) constVampireKernel
tabulate()VampireKernel
TerminationReason enum nameVampireKernel
terminationReason() constVampireKernel
TermWeightType typedefVampireKernel
TimeLimitExpired enum valueVampireKernel
UnknownTerminationReason enum valueVampireKernel
VampireKernel()VampireKernel
versionDescription()VampireKernel [static]
versionNumber()VampireKernel [static]
~VampireKernel()VampireKernel

Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2