Protégé-OWL 3.3.1

edu.stanford.smi.protegex.owl.swrl.bridge
Class AllDifferentRestrictionInfo

java.lang.Object
  extended by edu.stanford.smi.protegex.owl.swrl.bridge.Info
      extended by edu.stanford.smi.protegex.owl.swrl.bridge.RestrictionInfo
          extended by edu.stanford.smi.protegex.owl.swrl.bridge.AllDifferentRestrictionInfo

public class AllDifferentRestrictionInfo
extends RestrictionInfo


Constructor Summary
AllDifferentRestrictionInfo()
           
 
Method Summary
 void addIndividualName(String individualName)
           
 Set<String> getIndividualNames()
           
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AllDifferentRestrictionInfo

public AllDifferentRestrictionInfo()
Method Detail

getIndividualNames

public Set<String> getIndividualNames()

addIndividualName

public void addIndividualName(String individualName)

toString

public String toString()
Overrides:
toString in class Object

Protégé-OWL 3.3.1

Submit a bug report or feature request
Copyright (c) 1998-2007 Stanford University.