inpro.irmrsc.rmrs
Class SimpleAssertion

java.lang.Object
  inpro.irmrsc.rmrs.SimpleAssertion

All Implemented Interfaces:

VariableIDsInterpretable

public class SimpleAssertion
extends java.lang.Object
implements VariableIDsInterpretable

A simple representation of logical predicates. The arguments are given as integers, representing untyped variables, the predicate name is a string.

Author:

Andreas Peldszus

Nested Class Summary

static class

SimpleAssertion.Type

Field Summary

private java.util.List<java.lang.Integer>	arguments
private java.lang.String	predicateName

Constructor Summary

SimpleAssertion(java.lang.String predicateName, java.util.List<java.lang.Integer> arguments)

Method Summary

java.util.List<java.lang.Integer>	getArguments()
int	getNumberOfArguments()
java.lang.String	getPredicateName()
SimpleAssertion.Type	getType()
java.util.Set<java.lang.Integer>	getVariableIDs()
void	replaceVariableID(int oldID, int newID) replace all variables IDs matching a specifid old ID with a new ID
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

predicateName

private java.lang.String predicateName

arguments

private java.util.List<java.lang.Integer> arguments

Constructor Detail

SimpleAssertion

public SimpleAssertion(java.lang.String predicateName,
                       java.util.List<java.lang.Integer> arguments)

Method Detail

getPredicateName

public java.lang.String getPredicateName()

getArguments

public java.util.List<java.lang.Integer> getArguments()

getNumberOfArguments

public int getNumberOfArguments()

getType

public SimpleAssertion.Type getType()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getVariableIDs

public java.util.Set<java.lang.Integer> getVariableIDs()

Specified by:

getVariableIDs in interface VariableIDsInterpretable

Returns:

the set of IDs of all variables in that expression

replaceVariableID

public void replaceVariableID(int oldID,
                              int newID)

Description copied from interface: VariableIDsInterpretable

replace all variables IDs matching a specifid old ID with a new ID

Specified by:

replaceVariableID in interface VariableIDsInterpretable