RBNpackage
Class Instantiation

java.lang.Object
  extended by RBNpackage.Instantiation

public class Instantiation
extends java.lang.Object


Nested Class Summary
static class Instantiation.SetRelationship
           
 
Constructor Summary
Instantiation()
          Creates new Instantiation
Instantiation(Instantiation toCopy)
           
Instantiation(OneStrucData dat)
           
 
Method Summary
 void add(Atom at, boolean tv, java.lang.String dv)
           
 void add(Atom at, int tv, java.lang.String dv)
           
 void add(Rel r, int[][] tuples, boolean tv, java.lang.String dv)
           
 void add(Rel r, int[] tuple, boolean tv, java.lang.String dv)
           
 java.util.Vector<int[]> allFalse(Rel r)
          Returns all tuples that are instantiated to false in relation r Tuples represented as integer arrays, using the internal indices of objects
 java.util.Vector<java.lang.String> allFalse(Rel r, RelStruc A)
          Returns all tuples that are instantiated to false in relation r Tuples represented as string arrays, using the names of objects as defined in A
 java.util.Vector<InstAtom> allInstAtoms()
           
 java.util.Vector<int[]> allTrue(Rel r)
          Returns all tuples that are instantiated to true in relation r Tuples represented as integer arrays, using the internal indices of objects
 Instantiation.SetRelationship characterize(Instantiation other)
           
 boolean containsAll(Instantiation other)
           
 Instantiation copy()
           
 OneStrucData data()
           
 void delete(Atom at)
           
 void delete(Rel r, int[] tuple)
           
 void delete(Rel r, int[] tuple, boolean tv)
           
 void deleteShift(int a)
           
 boolean isEmpty()
           
 java.lang.String printAsString(RelStruc A, java.lang.String pref)
           
 void reset()
           
 void saveToBLPDatFile(java.lang.String filename, int domsize)
           
 void saveToRDEF(java.io.File savefile, RelStruc rs)
           
 void shiftArgs(int a)
           
 int size()
           
 int truthValueOf(Atom at)
          Returns 1,0, or -1 according to whether at is true, false, or undefined according to this instantiation.
 int truthValueOf(Rel r, int[] tuple)
          Returns 1,0, or -1 according to whether r(tuple) is true, false, or undefined according to this instantiation.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Instantiation

public Instantiation()
Creates new Instantiation


Instantiation

public Instantiation(Instantiation toCopy)

Instantiation

public Instantiation(OneStrucData dat)
Method Detail

containsAll

public boolean containsAll(Instantiation other)
Since:
20061020

characterize

public Instantiation.SetRelationship characterize(Instantiation other)
Since:
20061020

size

public int size()
Since:
20060515

add

public void add(Atom at,
                int tv,
                java.lang.String dv)

add

public void add(Atom at,
                boolean tv,
                java.lang.String dv)

add

public void add(Rel r,
                int[] tuple,
                boolean tv,
                java.lang.String dv)

add

public void add(Rel r,
                int[][] tuples,
                boolean tv,
                java.lang.String dv)

allTrue

public java.util.Vector<int[]> allTrue(Rel r)
Returns all tuples that are instantiated to true in relation r Tuples represented as integer arrays, using the internal indices of objects


allFalse

public java.util.Vector<int[]> allFalse(Rel r)
Returns all tuples that are instantiated to false in relation r Tuples represented as integer arrays, using the internal indices of objects


allFalse

public java.util.Vector<java.lang.String> allFalse(Rel r,
                                                   RelStruc A)
Returns all tuples that are instantiated to false in relation r Tuples represented as string arrays, using the names of objects as defined in A


reset

public void reset()

isEmpty

public boolean isEmpty()

delete

public void delete(Atom at)

delete

public void delete(Rel r,
                   int[] tuple)

delete

public void delete(Rel r,
                   int[] tuple,
                   boolean tv)

deleteShift

public void deleteShift(int a)

shiftArgs

public void shiftArgs(int a)

copy

public Instantiation copy()

printAsString

public java.lang.String printAsString(RelStruc A,
                                      java.lang.String pref)

truthValueOf

public int truthValueOf(Atom at)
Returns 1,0, or -1 according to whether at is true, false, or undefined according to this instantiation.


truthValueOf

public int truthValueOf(Rel r,
                        int[] tuple)
Returns 1,0, or -1 according to whether r(tuple) is true, false, or undefined according to this instantiation.


allInstAtoms

public java.util.Vector<InstAtom> allInstAtoms()

saveToBLPDatFile

public void saveToBLPDatFile(java.lang.String filename,
                             int domsize)

data

public OneStrucData data()

saveToRDEF

public void saveToRDEF(java.io.File savefile,
                       RelStruc rs)