de.uka.ilkd.key.strategy.quantifierHeuristics

Class SplittableQuantifiedFormulaFeature.Analyser

java.lang.Object

de.uka.ilkd.key.strategy.quantifierHeuristics.SplittableQuantifiedFormulaFeature.Analyser

Enclosing class:

SplittableQuantifiedFormulaFeature

private static class SplittableQuantifiedFormulaFeature.Analyser
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
Operator	binOp
ImmutableSet<QuantifiableVariable>	existentialVars
Term	left
Term	right

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Analyser()

Method Summary

Modifier and Type	Method and Description
boolean	analyse(Term formula)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

existentialVars

public ImmutableSet<QuantifiableVariable> existentialVars

binOp

public Operator binOp

left

public Term left

right

public Term right

Constructor Detail

Analyser

private Analyser()

Method Detail

analyse

public boolean analyse(Term formula)