cpg-analysis/de.fraunhofer.aisec.cpg.query/implies

implies

infix fun QueryTree<Boolean>.implies(other: QueryTree<Boolean>): QueryTree<Boolean>
infix fun QueryTree<Boolean>.implies(other: Lazy<QueryTree<Boolean>>): QueryTree<Boolean>

Evaluates a logical implication (->) operation between the values of two QueryTrees.