com.evelopers.unimod.analysis
Class TermSimplifier.BooleanLiteral

java.lang.Object
  com.evelopers.unimod.analysis.TermSimplifier.BooleanLiteral

Enclosing class:

TermSimplifier

protected class TermSimplifier.BooleanLiteral

extends java.lang.Object

Field Summary

(package private) boolean

isNegated

Constructor Summary

TermSimplifier.BooleanLiteral(boolean negated)

Methods inherited from class java.lang.Object

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

Field Detail

isNegated

boolean isNegated

Constructor Detail

TermSimplifier.BooleanLiteral

public TermSimplifier.BooleanLiteral(boolean negated)