org.ggp.base.util.propnet.sancho.ForwardDeadReckonPropositionInfo 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.propnet.sancho;

import org.ggp.base.util.gdl.grammar.GdlSentence;

/**
 * @author steve
 *  Meta information about a base proposition
 */
public class ForwardDeadReckonPropositionInfo
{
  /**
   * GDL name of this proposition
   */
  public GdlSentence                  sentence;
  /**
   * Index in the owning propnet's master proposition list
   */
  public int                          index;
}