com.ibm.wala.logic
Interface IFormula

All Known Implementing Classes:

BinaryFormula, NotFormula, QuantifiedFormula, RelationFormula

public interface IFormula

Formula := P(Term, ....) | NOT(Formula) | Formula CONNECTIVE Formula | QUANTIFIER Formula

Nested Class Summary

static class

IFormula.Kind

Method Summary

java.util.Collection<Variable>	getFreeVariables()
IFormula.Kind	getKind()
boolean	isAtomic()

Method Detail

isAtomic

boolean isAtomic()

getKind

IFormula.Kind getKind()

getFreeVariables

java.util.Collection<Variable> getFreeVariables()