Class LogicClause
- Namespace
- RandomizerCore.StringLogic
- Assembly
- RandomizerCore.dll
An immutable representation of a boolean circuit, consisting of tokens in RPN order.
public class LogicClause : IReadOnlyList<LogicToken>, IReadOnlyCollection<LogicToken>, IEnumerable<LogicToken>, IEnumerable
- Inheritance
-
LogicClause
- Implements
- Inherited Members
- Extension Methods
Constructors
LogicClause(LogicClauseBuilder)
public LogicClause(LogicClauseBuilder lcb)
Parameters
LogicClause(TermToken)
public LogicClause(TermToken t)
Parameters
LogicClause(TermToken, TermToken, OperatorToken)
public LogicClause(TermToken left, TermToken right, OperatorToken op)
Parameters
left
TermTokenright
TermTokenop
OperatorToken
LogicClause(string)
public LogicClause(string infix)
Parameters
infix
string
LogicClause(string, ITokenSource)
public LogicClause(string infix, ITokenSource tokenSource)
Parameters
infix
stringtokenSource
ITokenSource
Fields
EmptyConjunction
public static readonly LogicClause EmptyConjunction
Field Value
EmptyDisjunction
public static readonly LogicClause EmptyDisjunction
Field Value
Tokens
public readonly ReadOnlyCollection<LogicToken> Tokens
Field Value
Properties
Count
public int Count { get; }
Property Value
this[int]
public LogicToken this[int index] { get; }
Parameters
index
int
Property Value
Methods
GetEnumerator()
public IEnumerator<LogicToken> GetEnumerator()
Returns
ToInfix()
public string ToInfix()
Returns
ToString()
public override string ToString()
Returns
Operators
operator +(LogicClause, LogicClause)
public static LogicClause operator +(LogicClause c, LogicClause d)
Parameters
Returns
operator +(LogicClause, TermToken)
public static LogicClause operator +(LogicClause c, TermToken t)
Parameters
c
LogicClauset
TermToken
Returns
operator +(TermToken, LogicClause)
public static LogicClause operator +(TermToken t, LogicClause c)
Parameters
t
TermTokenc
LogicClause
Returns
operator |(LogicClause, LogicClause)
public static LogicClause operator |(LogicClause c, LogicClause d)
Parameters
Returns
operator |(LogicClause, TermToken)
public static LogicClause operator |(LogicClause c, TermToken t)
Parameters
c
LogicClauset
TermToken
Returns
operator |(TermToken, LogicClause)
public static LogicClause operator |(TermToken t, LogicClause c)
Parameters
t
TermTokenc
LogicClause