com.github.javaparser.symbolsolver.resolution.typeinference

Class ConstraintFormula.ReductionResult

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula.ReductionResult

Enclosing class:

ConstraintFormula

public static class ConstraintFormula.ReductionResult
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static ConstraintFormula.ReductionResult	bounds(BoundSet bounds)
static ConstraintFormula.ReductionResult	empty()
boolean	equals(java.lang.Object o)
static ConstraintFormula.ReductionResult	falseResult()
BoundSet	getBoundSet()
ConstraintFormula	getConstraint(int index)
java.util.List<ConstraintFormula>	getConstraintFormulas()
int	hashCode()
static ConstraintFormula.ReductionResult	oneBound(Bound bound)
static ConstraintFormula.ReductionResult	oneConstraint(ConstraintFormula constraintFormula)
java.lang.String	toString()
static ConstraintFormula.ReductionResult	trueResult()
ConstraintFormula.ReductionResult	withBound(Bound bound)
ConstraintFormula.ReductionResult	withConstraint(ConstraintFormula constraintFormula)
static ConstraintFormula.ReductionResult	withConstraints(ConstraintFormula... constraints)
static ConstraintFormula.ReductionResult	withConstraints(java.util.List<ConstraintFormula> constraints)

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

getBoundSet

public BoundSet getBoundSet()

getConstraintFormulas

public java.util.List<ConstraintFormula> getConstraintFormulas()

empty

public static ConstraintFormula.ReductionResult empty()

withConstraint

public ConstraintFormula.ReductionResult withConstraint(ConstraintFormula constraintFormula)

withBound

public ConstraintFormula.ReductionResult withBound(Bound bound)

trueResult

public static ConstraintFormula.ReductionResult trueResult()

falseResult

public static ConstraintFormula.ReductionResult falseResult()

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getConstraint

public ConstraintFormula getConstraint(int index)

oneConstraint

public static ConstraintFormula.ReductionResult oneConstraint(ConstraintFormula constraintFormula)

withConstraints

public static ConstraintFormula.ReductionResult withConstraints(ConstraintFormula... constraints)

oneBound

public static ConstraintFormula.ReductionResult oneBound(Bound bound)

withConstraints

public static ConstraintFormula.ReductionResult withConstraints(java.util.List<ConstraintFormula> constraints)

bounds

public static ConstraintFormula.ReductionResult bounds(BoundSet bounds)