public interface IPatternSequence extends IPatternObject, IExpr
ASTID, BLANKID, COMPLEXID, DOUBLECOMPLEXID, DOUBLEID, FRACTIONID, INTEGERID, METHODSYMBOLID, PATTERNID, STRINGID, SYMBOLID
Modifier and Type | Method and Description |
---|---|
IExpr |
getCondition()
Get the additional pattern sequences condition expression
|
boolean |
isConditionMatchedSequence(IAST sequence,
PatternMap patternMap)
Return
true , if all of the elements in the sequence fulfill the pattern sequences additional
condition |
boolean |
isDefault()
Return
true , if the expression is a pattern sequence with an associated default value, |
boolean |
matchPatternSequence(IAST sequence,
PatternMap patternMap)
Check if this pattern sequence object matches the given
sequence . |
addPattern, equivalent, getEvalFlags, getIndex, getSymbol, matchPattern
$div, $minus, $plus, $times, $up, accept, accept, accept, accept, and, apply, apply, asType, compareTo, dec, divide, evalComplex, evalDouble, evalNumber, evalSignedNumber, evaluate, evaluateHead, fullFormString, getAt, getField, head, hierarchy, ifPresent, inc, internalFormString, internalJavaString, internalScalaString, inverse, isAllExpanded, isAnd, isArcCos, isArcCosh, isArcSin, isArcSinh, isArcTan, isArcTanh, isAST, isAST, isAST, isAST, isAST, isAST, isAST, isASTSizeGE, isAtom, isBlank, isComplex, isComplexInfinity, isComplexNumeric, isCondition, isConstant, isCos, isCosh, isDerivative, isDirectedInfinity, isE, isExpanded, isFalse, isFlatAST, isFraction, isFree, isFree, isFree, isFreeAST, isFreeAST, isFreeOfPatterns, isFunction, isGEOrdered, isGTOrdered, isIndeterminate, isInfinity, isInteger, isIntegerResult, isLEOrdered, isList, isListOfLists, isLog, isLTOrdered, isMatrix, isMember, isMember, isMinusOne, isModule, isNegative, isNegativeInfinity, isNegativeResult, isNonNegativeResult, isNot, isNumber, isNumEqualInteger, isNumEqualRational, isNumeric, isNumericFunction, isNumericMode, isNumIntValue, isOne, isONE, isOr, isOrderlessAST, isPattern, isPatternDefault, isPatternExpr, isPatternSequence, isPi, isPlus, isPlusTimesPower, isPolynomial, isPolynomial, isPolynomialOfMaxDegree, isPositive, isPositiveResult, isPower, isPresent, isRational, isRationalResult, isRationalValue, isRealResult, isRuleAST, isSame, isSame, isSequence, isSignedNumber, isSin, isSinh, isSlot, isSlotSequence, isSpan, isSymbol, isTan, isTanh, isTimes, isTrue, isUnit, isValue, isVariable, isVector, isZero, isZERO, leafCount, leaves, minus, mod, multiply, multiply, negative, ofNullable, opposite, optional, or, orElse, orElseGet, orElseThrow, plus, power, power, reciprocal, replaceAll, replaceAll, replacePart, replaceRepeated, replaceRepeated, replaceSlots, signum, subtract, sum, times, timesDistributed, topHead, variables2Slots
IExpr getCondition()
getCondition
in interface IPatternObject
boolean matchPatternSequence(IAST sequence, PatternMap patternMap)
sequence
.sequence
- the sequence which should be matched.patternMap
- a map from a pattern to a possibly found value during pattern-matching.boolean isConditionMatchedSequence(IAST sequence, PatternMap patternMap)
true
, if all of the elements in the sequence
fulfill the pattern sequences additional
conditionsequence
- boolean isDefault()
true
, if the expression is a pattern sequence with an associated default value,