org.jmlspecs.jml4.esc.vc.lang
Class VcAndNary

java.lang.Object
  org.jmlspecs.jml4.esc.vc.lang.VC
      org.jmlspecs.jml4.esc.vc.lang.VcAndNary

All Implemented Interfaces:

java.lang.Comparable

public class VcAndNary
extends VC

Field Summary

VC[]

conjuncts

Fields inherited from class org.jmlspecs.jml4.esc.vc.lang.VC

EMPTY, NEGLBL, NO_LBL, sourceEnd, sourceStart, type

Constructor Summary

VcAndNary(VC[] conjuncts, int sourceStart, int sourceEnd)

Method Summary

java.lang.String	accept(ProverVisitor visitor)
int	hashCode()
java.lang.String	toString()

Methods inherited from class org.jmlspecs.jml4.esc.vc.lang.VC

acceptAsTerm, addDecl, addDecls, compareTo, decls, declString, endsInImpliesTrue, equals, getName, hasName, isImplication, kindOfAssertion, kindOfLabel, labelStart, markAsImplication, negateLastImplication, setLabel, setName, toStringWithName, visitVarDecls

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

conjuncts

public final VC[] conjuncts

Constructor Detail

VcAndNary

public VcAndNary(VC[] conjuncts,
                 int sourceStart,
                 int sourceEnd)

Method Detail

accept

public java.lang.String accept(ProverVisitor visitor)

Specified by:

accept in class VC

hashCode

public int hashCode()

Specified by:

hashCode in class VC

toString

public java.lang.String toString()

Specified by:

toString in class VC