scale.score.dependence.omega.omegaLib
Class FDeclaration

java.lang.Object
  scale.score.dependence.omega.omegaLib.Formula
      scale.score.dependence.omega.omegaLib.FDeclaration

Direct Known Subclasses:

Conjunct, FExists, FForall

public abstract class FDeclaration
extends Formula

FDeclaration.

$Id: FDeclaration.java,v 1.12 2005-02-07 21:28:39 burrill Exp $

Copyright 2008 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

This version of the Omega Libray is a translation from C++ to Java of the Omega Library developed at the University of Maryland.

Copyright (C) 1994-1996 by the Omega Project

All rights reserved.

NOTICE: This software is provided ``as is'', without any warranty, including any implied warranty for merchantability or fitness for a particular purpose. Under no circumstances shall the Omega Project or its agents be liable for any use of, misuse of, or inability to use this software, including incidental and consequential damages.

License is hereby given to use, modify, and redistribute this software, in whole or in part, for any purpose, commercial or non-commercial, provided that the user agrees to the terms of this copyright notice, including disclaimer of warranty, and provided that this copyright notice, including disclaimer of warranty, is preserved in the source code and documentation of anything derived from this software. Any redistributor of this software or anything derived from this software assumes responsibility for ensuring that any parties to whom such a redistribution is made are fully aware of the terms of this license and disclaimer.

The Omega project can be contacted at omega@cs.umd.edu or http://www.cs.umd.edu/projects/omega

Field Summary

protected Vector<VarDecl>

myLocals

Fields inherited from class scale.score.dependence.omega.omegaLib.Formula

myChildren, myParent, myRelation, omegaLib, OP_AND, OP_CONJUNCT, OP_EXISTS, OP_FORALL, OP_NOT, OP_OR, OP_RELATION

Constructor Summary

FDeclaration(OmegaLib omegaLib, Formula f, RelBody r)

FDeclaration(OmegaLib omegaLib, Formula f, RelBody r, Vector<VarDecl> vid)

Method Summary

boolean	canAddChild()
abstract VarDecl	declare()
VarDecl	declare(java.lang.String s)
abstract VarDecl	declare(VarDecl v)
Vector<VarDecl>	declareTuple(int size)
VarDecl	doDeclare(java.lang.String s, int var_kind)
Vector<VarDecl>	locals()
void	prefixPrint(boolean debug)
void	print()
int	priority()
protected void	setupAnonymousWildcardNames()
void	setupNames()

Methods inherited from class scale.score.dependence.omega.omegaLib.Formula

addAnd, addChild, addConjunct, addExists, addExists, addForall, addNot, addOr, andWith, assertNotFinalized, beautify, checkAndAddChild, children, combineColumns, copy, delete, DNFize, enforceLeadingInfo, findAvailableConjunct, getChildren, getFirstChild, invalidateLeadingInfo, nodeType, numberOfChildren, olAssert, olAssert, parent, printSeparator, pushExists, reallyConjunct, rearrange, relation, remap, removeChild, removeFirstChild, reverseLeadingDirInfo, setFinalized, setParent, setParent, setRelation, toString, toStringClass, verifytree

Methods inherited from class java.lang.Object

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

Field Detail

myLocals

protected Vector<VarDecl> myLocals

Constructor Detail

FDeclaration

public FDeclaration(OmegaLib omegaLib,
                    Formula f,
                    RelBody r)

FDeclaration

public FDeclaration(OmegaLib omegaLib,
                    Formula f,
                    RelBody r,
                    Vector<VarDecl> vid)

Method Detail

declare

public VarDecl declare(java.lang.String s)

doDeclare

public VarDecl doDeclare(java.lang.String s,
                         int var_kind)

declare

public abstract VarDecl declare()

declare

public abstract VarDecl declare(VarDecl v)

declareTuple

public Vector<VarDecl> declareTuple(int size)

locals

public Vector<VarDecl> locals()

setupNames

public void setupNames()

Overrides:

setupNames in class Formula

setupAnonymousWildcardNames

protected void setupAnonymousWildcardNames()

canAddChild

public boolean canAddChild()

Overrides:

canAddChild in class Formula

priority

public int priority()

Overrides:

priority in class Formula

print

public void print()

Overrides:

print in class Formula

prefixPrint

public void prefixPrint(boolean debug)

Overrides:

prefixPrint in class Formula