Uses of Class
org.variantsync.boosting.position.ProductPosition

Packages that use ProductPosition

Package	Description
org.variantsync.boosting.datastructure

Uses of ProductPosition in org.variantsync.boosting.datastructure

Methods in org.variantsync.boosting.datastructure that return types with arguments of type ProductPosition

Modifier and Type	Method	Description
Set<ProductPosition>	MainTree.getProductPositions(ASTNode node)	Retrieves the set of ProductPositions associated with the given ASTNode.

Methods in org.variantsync.boosting.datastructure with parameters of type ProductPosition

Modifier and Type	Method	Description
org.logicng.formulas.Formula	MainTree.getMapping(ProductPosition position)	Retrieves the mapping formula associated with a given product position.