edu.ucla.util
Class QueryParticipantProperty

Object
  extended by AbstractEnumProperty
      extended by FlagProperty
          extended by QueryParticipantProperty
All Implemented Interfaces:
EnumProperty

public class QueryParticipantProperty
extends FlagProperty

Built in property to designate variables of interest before pruning.

Since:
20051006
Author:
keith cascio

Nested Class Summary
 
Nested classes/interfaces inherited from class FlagProperty
FlagProperty.FlagValue
 
Field Summary
static QueryParticipantProperty PROPERTY
           
 
Fields inherited from class FlagProperty
FALSE, myArray, myList, TRUE
 
Method Summary
 EnumValue getDefault()
           
 String getID()
           
 String getName()
           
static boolean isQueryParticipant(Variable var)
           
 
Methods inherited from class FlagProperty
contains, forIndex, forString, getValue, indexOf, isFlag, iterator, size, toBoolean, valueOf, valuesAsArray
 
Methods inherited from class AbstractEnumProperty
isModified, isTransient, isUserEditable, rotate, toString
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

PROPERTY

public static final QueryParticipantProperty PROPERTY
Method Detail

getName

public String getName()

getDefault

public EnumValue getDefault()

getID

public String getID()

isQueryParticipant

public static boolean isQueryParticipant(Variable var)


Copyright 2010 UCLA Automated Reasoning Group