Uses of Class
io.konig.formula.Triple

Packages that use Triple

Package	Description
io.konig.formula

Uses of Triple in io.konig.formula

Methods in io.konig.formula that return Triple

Modifier and Type	Method and Description
Triple	Triple.clone()

Constructor parameters in io.konig.formula with type arguments of type Triple

Constructor and Description
QuantifiedExpression(Context context, List<ConditionalAndExpression> orList, List<Triple> statementList)
QuantifiedExpression(Expression formula, List<Triple> statementList)