org.ggp.base.util.statemachine.sancho.ForwardDeadReckonPropositionCrossReferenceInfo Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.util.statemachine.sancho;

import org.ggp.base.util.propnet.sancho.ForwardDeadReckonProposition;
import org.ggp.base.util.propnet.sancho.ForwardDeadReckonPropositionInfo;

public class ForwardDeadReckonPropositionCrossReferenceInfo extends ForwardDeadReckonPropositionInfo
{
  public ForwardDeadReckonProposition fullNetProp;
  public ForwardDeadReckonProposition xNetProp;
  public ForwardDeadReckonProposition oNetProp;
  public ForwardDeadReckonProposition goalsNetProp;
  public ForwardDeadReckonProposition terminalityNetProp;
  public Factor                       factor = null;
  //  We store the proposition ids directly for use with the fast statemachine
  //  animator.  In future this is a necessary step to alow us to free the
  //  underlying component network itself once the fast animator tables are built.
  //  For now it is just slightly more efficient
  public int                          xNetPropId;
  public int                          oNetPropId;
}