A Sandcastle Documented Class Library

A Sandcastle Documented Class Library

AbstractChecker Class

AstNodeType Enumeration

ConcreteChecker Class

CreateAction Class

PrtAnyType Class

PrtApplicationException Class

PrtAssertFailureException Class

PrtAssumeFailureException Class

PrtBoolType Class

PrtBoolValue Class

PrtContinuation Class

PrtContinuationReason Enumeration

PrtDeadlockException Class

PrtDequeueReturnStatus Enumeration

PrtEnumType Class

PrtEnumValue Class

PrtEventBuffer Class

PrtEventNode Class

PrtEventNodeComparer Class

PrtEventType Class

PrtEventValue Class

PrtException Class

PrtFloatType Class

PrtFloatValue Class

PrtFunStack Class

PrtFunStackFrame Class

PrtIgnoreFun Class

PrtIllegalEnqueueException Class

PrtImplMachine Class

PrtInfiniteRaiseLoop Class

PrtInhabitsTypeException Class

PrtInterfaceType Class

PrtInterfaceValue Class

PrtInternalException Class

PrtIntType Class

PrtIntValue Class

PrtInvalidEqualsException Class

PrtInvalidPopStatement Class

PrtMachine Class

PrtMachineStatus Enumeration

PrtMachineType Class

PrtMachineValue Class

PrtMapKey Class

PrtMapType Class

PrtMapValue Class

PrtMaxBufferSizeExceededException Class

PrtMaxEventInstancesExceededException Class

PrtNamedTupleType Class

PrtNamedTupleValue Class

PrtNextStatemachineOperation Enumeration

PrtNullType Class

PrtSeqType Class

PrtSeqValue Class

PrtSpecMachine Class

PrtStateExitReason Enumeration

PrtStateStack Class

PrtStateStackFrame Class

PrtTransition Class

PrtTupleType Class

PrtTupleValue Class

PrtUnhandledEventException Class

PSourceContext Class

QuTLException Class

QuTLOperator Enumeration

QuTLParser Class

SendAction Class

StateImpl Class

StateImpl.CreateMachineCallbackDelegate Delegate

StateImpl.CreateMachineDelegate Delegate

StateImpl.CreateSpecDelegate Delegate

StateImpl.DequeueCallbackDelegate Delegate

StateImpl.ExploreMode Enumeration

StateImpl.GetBooleanChoiceDelegate Delegate

StateImpl.StateTransitionCallbackDelegate Delegate

StateImpl.SuccessorFound Class

StateImplComparer Class

StateTemperature Enumeration

VisibleAction Class

VisibleTrace Class

Click or drag to resize

QuTLOperator Enumeration

[Missing <summary> documentation for "T:P.Runtime.QuTLOperator"]

Namespace: P.Runtime
Assembly: Prt (in Prt.dll) Version: 1.0.0.0 (1.0.0.0)

Syntax

public enum QuTLOperator

Public Enumeration QuTLOperator

public enum class QuTLOperator

type QuTLOperator

Members

	Member name	Value	Description
	PROCESS_EVENT	0
	TMP_F	1
	TMP_X	2
	TMP_G	3
	COUNT	4
	SIZE	5
	NEGATION	6
	AND	7
	OR	8
	IMPLICATION	9
	EQUAL	10
	NOT_EQUAL	11
	LESS_THAN	12
	LESS_THAN_EQ	13
	GREATER_THAN	14
	GREATER_THAN_EQ	15
	ADDITION	16
	SUBTRACTION	17
	PARENTHSIS	18
	CONST_T	19
	CONST_F	20
	NULLOP	21

See Also

Reference

P.Runtime Namespace