org.rubato.rubettes.util
Class FormValueFinder

java.lang.Object
  extended by org.rubato.rubettes.util.FormValueFinder

public class FormValueFinder
extends java.lang.Object


Constructor Summary
FormValueFinder(Form form, boolean searchThroughPowersets)
           
 
Method Summary
 boolean formAllowsForSatellites()
           
 boolean formContainsColimits()
           
 int getActiveObjectFirstValueIndex(SimpleForm form, int objectIndex, java.util.List<java.lang.Integer> colimitCofiguration)
           
 int getActiveObjectValueIndex(int coordinateSystemValueIndex, int objectIndex, java.util.List<java.lang.Integer> colimitCofiguration)
           
 java.util.List<java.util.List<DenotatorPath>> getAllObjectConfigurationsValuePathsAt(int coordinateSystemValueIndex)
           
 java.util.List<DenotatorPath> getAllObjectConfigurationsValuePathsAt(int objectIndex, int coordinateSystemValueIndex)
           
 DenotatorObjectConfiguration getConfiguration(Form objectForm, DenotatorPath longestColimitPath)
           
 java.util.List<java.lang.String> getCoordinateSystemValueNames()
           
 int getInstanceNumberOfCoordinateValueName(int coordinateSystemValueIndex)
           
 DenotatorObject getObjectAt(int objectIndex)
           
 int getObjectCount()
           
 java.util.List<Form> getObjectForms()
           
 java.util.List<java.lang.Boolean> getObjectsCanBeSatellites()
           
 DenotatorObjectConfiguration getStandardConfiguration(Form objectForm)
           
 int indexOf(Form objectForm)
           
static java.lang.String makeValueName(java.lang.String simpleName, Module module, java.lang.String indexString)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FormValueFinder

public FormValueFinder(Form form,
                       boolean searchThroughPowersets)
Method Detail

getCoordinateSystemValueNames

public java.util.List<java.lang.String> getCoordinateSystemValueNames()

getObjectCount

public int getObjectCount()

getObjectForms

public java.util.List<Form> getObjectForms()

indexOf

public int indexOf(Form objectForm)

getObjectAt

public DenotatorObject getObjectAt(int objectIndex)

getObjectsCanBeSatellites

public java.util.List<java.lang.Boolean> getObjectsCanBeSatellites()

getConfiguration

public DenotatorObjectConfiguration getConfiguration(Form objectForm,
                                                     DenotatorPath longestColimitPath)

getStandardConfiguration

public DenotatorObjectConfiguration getStandardConfiguration(Form objectForm)

getAllObjectConfigurationsValuePathsAt

public java.util.List<java.util.List<DenotatorPath>> getAllObjectConfigurationsValuePathsAt(int coordinateSystemValueIndex)
Returns:
all paths of the instances of the value at the given coordinateSystemValueIndex, separated by objects and then by configurations

getAllObjectConfigurationsValuePathsAt

public java.util.List<DenotatorPath> getAllObjectConfigurationsValuePathsAt(int objectIndex,
                                                                            int coordinateSystemValueIndex)
Returns:
all paths of the instances of the value at the given coordinateSystemValueIndex, separated by objects and then by configurations

getActiveObjectValueIndex

public int getActiveObjectValueIndex(int coordinateSystemValueIndex,
                                     int objectIndex,
                                     java.util.List<java.lang.Integer> colimitCofiguration)

getActiveObjectFirstValueIndex

public int getActiveObjectFirstValueIndex(SimpleForm form,
                                          int objectIndex,
                                          java.util.List<java.lang.Integer> colimitCofiguration)

getInstanceNumberOfCoordinateValueName

public int getInstanceNumberOfCoordinateValueName(int coordinateSystemValueIndex)

formAllowsForSatellites

public boolean formAllowsForSatellites()

formContainsColimits

public boolean formContainsColimits()

makeValueName

public static java.lang.String makeValueName(java.lang.String simpleName,
                                             Module module,
                                             java.lang.String indexString)