Class ForAllQuantifierToken

Token which represents a For All Quantifier.

System.Object

ForAllQuantifierToken

object.Equals(object)

object.Equals(object, object)

object.GetType()

object.MemberwiseClone()

object.ReferenceEquals(object, object)

public class ForAllQuantifierToken : BaseToken, IToken

| Improve this Doc View Source

Creates a new For All Quantifier Token.

public ForAllQuantifierToken(int line, int pos)

Type	Name	Description
int	line	Line at which the For All Quantifier occurs.
int	pos	Column at which the For All Quantifier occurs.

IToken