fmrisc.Proving
Class LogicUtil

java.lang.Object
  extended byfmrisc.Proving.LogicUtil

public final class LogicUtil
extends java.lang.Object

Logical operations.


Constructor Summary
LogicUtil()
           
 
Method Summary
static Expression negate(Expression formula)
          return negated version of formula where negation is drawn innermost (to atomic formulas)
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LogicUtil

public LogicUtil()
Method Detail

negate

public static Expression negate(Expression formula)
return negated version of formula where negation is drawn innermost (to atomic formulas)

Parameters:
formula - a formula
Returns:
its negated and simplified version